def binding(*a):
    commands[a[0]] = ((('User defined command "' + a[0]) + '"'), 'seq', ' '.join(a[1:]))
def binding(*a):
    commands[a[0]] = ((('User defined command "' + a[0]) + '"'), 'seq', ' '.join(a[1:]))