Call checkpoint with the module state.