** Gets the destination address of a jump instruction. Used to traverse ** a list of jumps. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected