prag($read,5,index).
prag($read_args1,4,index).
prag($read_list1,4,index).
prag($read_prefix_is_atom,2,index).
prag($read_exprtl01,6,index).
prag($read_cfexpr,2,index).
prag($read_exprtl1,7,index).
prag($read_curr_op,3,index(2)).
prag($read_chkspec,1,index).


.