Symbol: is_imm12_negative