This relies slightly on \e normal semantics: when instructions \e fall-thru during execution, the associated address increases. \return the address of the original entry point instruction for \b this block
source not stored for this graph (policy: none)
no test coverage detected