A set of bytes is \b reinterpreted if there are at least two different interpretations of the bytes as instructions. \param addr is the address of a byte previously interpreted as (the interior of) an instruction
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected