title: Prepending to a multi-gigabyte file
body: <p>What would be the most performant way to prepend a single character to a multi-gigabyte file (in my practical case, a 40GB file).</p>
  
  <p>There is no limitation on the implementation to do this. Meaning it can be through a tool, a shell script, a program in any programming language, ...</p>