// expect: 1/
// spec 4.5: runs the body, then tests
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int n = 0; do { n++; } while (0); pn(n); return 0; }
// zc0: skip