there's no pragma: private