val _ = __builtin "exit" (__builtin "add" (40, 2))