A module that wraps the declass API