def teensy_config(choice):
 return {'1': 'powershell_down.ino', '2': 'wscript.ino', '3': 'powershell_reverse.ino', '4': 'beef.ino', '5': 'java_applet.ino', '6': 'gnome_wget.ino'}.get(choice, 'ERROR')

def teensy_config ( choice ) : return { '1' : 'powershell_down.ino' , '2' : 'wscript.ino' , '3' : 'powershell_reverse.ino' , '4' : 'beef.ino' , '5' : 'java_applet.ino' , '6' : 'gnome_wget.ino' } . get ( choice , 'ERROR' )
receives the input given by the user from set .