concrete NatAscii of Nat = {

lincat Nat = Str ;

lin zero   = "" ;
    succ n = "_" ++ n ;

lincat NE = {} ;

}