tail-to-head '$out_file1' ]]>