title: awk print vs printf functions
body: <p>In <code>awk</code> there are two output functions: <code>print</code> and <code>printf</code>.</p>
  
  <ul>
  <li>Are their implementations in <code>awk</code> very different?</li>
  <li>What are the differences regarding performance/speed (if possible — theoretical, not only with "<code>time</code>" on command line)?</li>
  <li>Do they use the same system calls?</li>
  </ul>