Symbol: acl2_getacl_getfh