val _ = __builtin "exit" (__builtin "sub" (84, 42))