// expect: 1/1/0/
// spec appendix b.2.6: bool as a 0/1 type
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { bool b = 5; pn(b); pn(b == 1); pn(!b); return 0; }
// zc0: skip