# Useful functions and classes
def rename_key(dict_, orig, new):
try: dict_[new] = dict_.pop(orig)
except KeyError: pass