seems to at least produce a CFG treating targets of jumps as if they were functions.