Fixed parameter list problem proc2.syn