Yes, the trivial example can (and should) be optimized. The point of the structure is to give an example of flagging a 'found' state, so we need to pretend the

Yes, the trivial example can (and should) be optimized. The point of the structure is to give an example of flagging a 'found' state, so we need to pretend there are extra mandatory steps in there, because the structure would be embedded in more complex code. He mentions this briefly in that section of the talk, see 'and number 2...' at 16:30. Cheers!