How can I control starting (left) indentation for printf? Pickaxe did not
yield an answer. Or do I have to loop putting out spaces with
  IO#putc " "?

Thanks!