(*
  This file is part of Foobar.

  Foobar is free software: you can redistribute it and/or modify it under the
  terms of the GNU General Public License as published by the Free Software
  Foundation, either version 3 of the License, or (at your option) any
  later version.
*)

val _ = __builtin "exit" 42