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