Prototype of __main__