Exercise (blt_nat)