/IS_ZERO/1.1/Wed Oct 21 16:15:35 1998//
/assign_svalue/1.1/Wed Oct 21 16:15:35 1998//
/free_svalue/1.1/Wed Oct 21 16:15:35 1998//
/is_eq/1.1/Wed Oct 21 16:15:35 1998//
/is_equal/1.1/Wed Oct 21 16:15:35 1998//
/is_lt/1.1/Wed Oct 21 16:15:35 1998//
/svalue/1.1/Wed Oct 21 16:15:35 1998//
D
