/critbit.c/1.2/Tue May  2 12:51:56 2023//
/critbit0_allprefixed.3/1.3/Sat May 13 22:51:33 2017//
/critbit0_clear.3/1.3/Sat May 13 22:51:33 2017//
/critbit0_contains.3/1.2/Sat May 13 22:51:33 2017//
/critbit0_delete.3/1.2/Sat May 13 22:51:33 2017//
/critbit0_insert.3/1.3/Sat May 13 22:51:33 2017//
D
