Pickling from __main__