Symbol: acl2_setacl_getfh