// expect error: add2: wrong number of inputs
// spec 5.10
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
enhance add2(a, b) vm { + };
fn main() { pn(add2(1)); return 0; }
// zc0: skip