We should "assert" that cb is not null.
If cb is null, this means that there is an issue in the state machine or transition functions.