// expect: 6/
// spec 4.6: init is a declaration (typed or let)
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int s = 0; for (let i = 0; i < 4; i++) s += i; pn(s); return 0; }