title: How do I convert integer to string with leading zeros in Tcl?
body: <p>I'm learning Tcl. In Perl I can do this:</p>
  
  <pre><code> $ perl -e 'for ($i = 0; $i &lt; 5; $i++) { printf("name%03d\n", $i) }'
   name000
   name001
   name002
   name003
   name004
  </code></pre>
  
  <p>Can I do this in Tcl?</p>