[pys] re sys.stdin file