Add 004-bin-nat.idr.