// expect: 9/
// spec 4.13.1: the name of a constant pushes its value
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
const K = 9;
fn main() { pn(asm { K }); return 0; }