def recover_addr_from_label(lab):
    """
    Get address from generated label (e.g. S_0x400400)
    :param lab: label string
    :return: integer address
    """
    try: return int(lab.strip()[2:], 16)
    except: return -1