case 9:
proc.arg8 = rargs.head(); rargs = rargs.tail();
case 8:
proc.arg7 = rargs.head(); rargs = rargs.tail();
case 7:
proc.arg6 = rargs.head(); rargs = rargs.tail();
case 6:
proc.arg5 = rargs.head(); rargs = rargs.tail();
case 5:
proc.arg4 = rargs.head(); rargs = rargs.tail();
case 4: