and_label: jmp and_label