def exec_sys(cmd):
    if (0 != os.system(cmd)):
        ((print >> sys.stderr), 'ERROR when executing:', cmd)
        sys.exit(777)
def exec_sys(cmd):
    if (0 != os.system(cmd)):
        ((print >> sys.stderr), 'ERROR when executing:', cmd)
        sys.exit(777)