Init: recursive definition of putStr