// expect error: a switch has one default
// spec 4.7.1
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int k = 1; switch (k) { default: pn(1); default: pn(2); } return 0; }