I ran into this and would like to have goto-label-by-pointer feature in JIT. How difficult is this? I see that functions are stored in the global map of global values. So I would guess one needs to add another map: of all BB addresses just like the global value map. Yuri