prag($eval_arithreloptab,4, index(2)).
prag($eval_binoptab,4, index).
prag($eval_binop,1, index).
prag($arithrelop,1,index).

