# Useful functions and classes

def skip(iter_, func):

    # Advance iter while func is True

    try:

        while func(iter_.curr()): iter_.next()

    except StopIteration: pass # nothing after the matching elements

def rename_key(dict_, orig, new):

    try: dict_[new] = dict_.pop(orig)

    except KeyError: pass