;;; Code for Direct/Inverse

direct-mode := 
	       word & 
	       [ARG-ST <[LOCAL.CONT.HOOK.INDEX.DIR.OBJ #1 ],[LOCAL.CONT.HOOK.INDEX.DIR #1 ]>].

inverse-mode := 
	       word & 
	       [ARG-ST <[LOCAL.CONT.HOOK.INDEX.DIR #1 ],[LOCAL.CONT.HOOK.INDEX.DIR idirinv & [OBJ #1] ]>].


ref-ind :+ [DIR dirinv].

dirinv := *top* & [OBJ *top*].

idirinv := dirinv. 

one := dirinv & [OBJ dirinv].

ione := one & idirinv & [OBJ 2-or-less].

2-or-less := dirinv.

two := 2-or-less & [OBJ 2-or-less].

itwo := two & idirinv & [OBJ 3-or-less].

3-or-less := 2-or-less.

three := 3-or-less & [OBJ 3-or-less].

ithree := three & idirinv & [OBJ four].

four := 3-or-less.