function main() {
  try {
    throw 4;
  } catch (e) {
    print(e," ");
  }
  print(42,"\n");
}

// 4 42