Added pointer dereferencing for file input/output in Python.