page-types: introduce checked_open()