Symbol: acl2_getattr_getfh