random: do not use jump labels before they are initialized