Guest cannot access protected sections specs and implementation