module PrintNat where

import PreludeShow
open PreludeShow
     
mainS = showNat 42