operation_3436 coreutils '$out_file1' ]]>