oops -- this content of this file already exist; see 'input_from_pipe.py'