val x = 42 val _ = __builtin "exit" x