python-{argv,getopt,tkmini}; MACHINES