// expect error: const storage cannot be modified
// spec 4.1.4 and 2.10.1
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { const k = 1; k++; return 0; }