currently TaskHolder is 24 bytes large, that would make it 32; also I don’t think it is necessary since during the switch the value makes a transition X -> Pause -> X', where X' is guaranteed to be different from X, so we can detect the change without internal round marker