val _ = (fn x => __builtin "exit" x) 42