beq_nat and ble_nat