Symbol: acl3_getacl_free