def label2Addr(label, labels):
    """ Return int address associated with label or None.
    label is a string, either digits or symbolic.
    Array labels has labels for all addresses in mem.
    """
    if label.isdigit():
        return int(label)
    if label in labels:
        return labels.index(label)