Python code

This name probably goes against many naming conventions. But then again,
it's not like Java, where each file is its own Class and you have to be
careful to name it with the naming regiment of Class files. I'll fix it
up later.