Symbol: ACL_CHECK