jump-label: export jump_label_inc/jump_label_dec