case 11:
proc.arg10 = rargs.head(); rargs = rargs.tail();
case 10:
proc.arg9 = rargs.head(); rargs = rargs.tail();
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: