1 2 3 4 5 6 7
// Numbers can be terminated by EOF. // --------> WARNING <-------- // This file must not have a terminating newline, we want the EOF immediately // following the digits! 1247