I am getting strange behavior from IMCC if the first line after .pcc_sub is a comment. It seems to misinterpret things and ends up emitting a restore_p op that triggers a "No entries on UserStack!" exception.
I've attached a diff to languages/imcc/t/syn/pcc.t, but I'm not sure if that's the right place for the test. I'm looking at fixing this now, but the grammar rules relating to this are a bit hairy. I've eliminated the existing shift/reduce conflict by assigning precedence to a dummy rule, but I'm still working on changing the grammar to accept stuff in the parameter list.