procedure DeReference(Representation: TypeRepresentation);
extern;

procedure CAPDeReference(PackedSchema: Boolean;
			 LowBound,HighBound: CAPBound;
			 BoundPairRepresentation,
			 ComponentRepresentation:
				TypeRepresentation);
extern;

procedure StackConstant(ConstValue: ObjectValue);
extern;

procedure UndefinedVariableCheck;
extern;

procedure TailoredFactorCheck(Representation: TypeRepresentation);
extern;

procedure CheckRange(Min,Max: MCIntegerForm; CheckNumber: Scalar);
extern;

procedure RangeCheck(Min,Max: ObjectValue);
extern;

procedure CheckCAPRange(LowBoundAddress,HighBoundAddress:RuntimeAddress);
extern;

procedure SetCheck(Min,Max: ObjectValue);
extern;

procedure SelectCheck(EntryToCheck: StackEntry;CheckNumber: Scalar);
extern;

procedure IntFunction(WhichFunc: StdProcFuncs);
extern;

procedure NegInteger;
extern;

procedure BinaryIntegerOperation(Operator: OpType);
extern;

procedure OrdinalComparison(Operator: OpType);
extern;

procedure FloatInteger(StackPosition: StackTop);
extern;

procedure RealFunction(WhichFunc: StdProcFuncs);
extern;

procedure NegReal;
extern;

procedure BinaryRealOperation(RealOperator: OpType);
extern;

procedure RealComparison(Operator: OpType);
extern;

procedure NegateBoolean;
extern;

procedure BinaryBooleanOperation(Operator: OpType;
  				 FirstOperation: Boolean);
extern;

procedure EliminateConditions;
extern;

procedure SingletonSet(SetRepresentation: TypeRepresentation);
extern;

procedure RangeSet(SetRepresentation: TypeRepresentation);
extern;

procedure BinarySetOperation(SetOperator: OpType);
extern;

procedure SetComparison(SetOperator: OpType);
extern;

procedure PnterComparison(Operator: OpType);
extern;

procedure StringComparison(Operator: OpType;Length: ObjectValue);
extern;