val _ =
  let val x = 42 in
    __builtin "exit" x
  end