stringLib need to be loaded in ASCIInumberScript.sml in order for UNHEX to be appropriately defined.