proper access-checks for constant symbols