jump label: Add jump_label_text_reserved() to reserve jump points