#!/usr/bin/python3 import sys def main(): filename = sys.argv[1] with open(filename, "w") as file_: for block in sys.stdin.read(2**18): file_.write(block) sys.stdout.write(block) main()