// expect error: expected a constant
// spec 4.7.2
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int k = 1, j = 2; switch (k) { case j: pn(1); } return 0; }