while(FALSE) {
  1
}