0:-) 0
     : nat