main() {
  let x: u64;

  return;
  x = 7;
}

// check: VerificationError
// check: InvalidFallThrough