/IS_ZERO/1.1/Tue Oct 15 01:16:56 1996//
/assign_svalue/1.1/Tue Oct 15 01:16:58 1996//
/free_svalue/1.1/Tue Oct 15 01:17:01 1996//
/is_eq/1.1/Tue Oct 15 01:17:04 1996//
/is_equal/1.1/Tue Oct 15 01:17:05 1996//
/is_lt/1.1/Tue Oct 15 01:17:06 1996//
/svalue/1.1/Tue Oct 15 01:17:07 1996//
D
