Implement function call access checks.