/equality_comparator.c/1.7/Sat Jan 31 16:06:29 2009//
/greaterness_comparator.c/1.3/Sat Jan 31 16:06:29 2009//
/greaterness_or_equality_comparator.c/1.3/Sat Jan 31 16:06:29 2009//
/smallerness_comparator.c/1.9/Sat Jan 31 16:06:29 2009//
/smallerness_or_equality_comparator.c/1.9/Sat Jan 31 16:06:29 2009//
D/equality////
