The gadgets in the figure in section 2.4.2 have been made up, rather than making sure they can be produced by a compiler generating code from a higher-level language.
Investigate if gadgets could be used that are produced by a compiler from a higher-level language construct.
If that is reasonably possible, that could be preferred, if we also document in that section which high-level language construct it came from.
It may be impossible to do, in which case we should remove the TODO from the book.