Symbol: alloc_multijmp