// expect error: bad float
// spec 1.4.3 (first statement of the function body)
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int x = 1e; return 0; }