we have indirect jump targets, still need to inform static