case 5:
  assert(nargs = 3);
  b_arg_1 = arg_1;
  b_arg_2 = arg_2;
  b_arg_3 = arg_3;
  APPLY(arg_cont, CONS(plus(), LISP_NIL);