blob: e41f9b48b947aa77737e9a70b8ef79e7af585831 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
(*
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
|
