XDS/XOM Convenience Routines

String Handling

The acl2.c Program