Symbol: acl2_access_getfh