val _ = __builtin "exit" 42