












	case PROARG:
	      ++T1;
	      D = L + ACTSIZE;
	      R0 = *D;
	      deref(R0);
	      if (tag(R0) != INT) goto Fail;
	      R0 = signextend(R0);
	      if (R0 <= 0) goto Fail;
	      R1 = *(D+1);
	      deref(R1);
	      if (tag(R1) == CONS)
	      {
	        if (R0 > 2) goto Fail;
	        --R0;
	      }
	      else if ((tag(R1) != TERM) || (R0 > termarity(R1))) goto Fail;
	      R1 = memoff(R1,R0);
	      R0 = *(D+2);
	      if (unify()) goto CopyMode; else goto Fail;
	