Symbol: acl_to_aclp