{dbsmall.mc
by cal -- 11-Jan-85 15:31:58
}

{LispRecl.mc}
ufn[172];

{RplPtr.mc}
ufn[27];	ufn[24];

{LispCons}
ufn[32];

{LispEval}
ufn[54];

{LispStkScan}
ufn[57];

EvalGet:
	Map ← [rhTT, TT], CANCELBR[$, 0F],	c1, at[L3.Eval, 10, fvCaller];
	L1 ← L1.fixFV,	c2;
	Rx ← rhRx ← MD, ReadXRefBr,	c3;

	MAR ← [rhRx, TT + 0], ReadBRANCH[EvalMap, $],	c1, at[L0.RedoEval, 10, RMapFixCaller];
	,	c2;
	TOSH ← MD,	c3;
	
	MAR ← [rhRx, TT + 1],	c1;
	L3Disp, CANCELBR[$, 2],	c2;
	TOS ← MD, RET[EvalGetRet],	c3;

EvalMap:
	GOTO[RLMapFix], L0 ← L0.RedoEval,	c2;

	{ E N D }