Symbol: acl_to_nacl