// expect: -1/
// spec appendix b.1.11: 0xFFFFFFFFFFFFFFFF wraps to -1; zc0 saturates
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { pn(0xFFFFFFFFFFFFFFFF); return 0; }