//# run
main() {
  let x: u64;
label b0:
  return;
  // invalid fall through
  x = 7;
}