def die_get_spec(die):
    if ('DW_AT_specification' not in die.attributes):
        return None
    spec_val = die.attributes['DW_AT_specification'].value
    offset = (spec_val + die.cu.cu_offset)
    return extern_env.get(offset)
def die_get_spec(die):
    if ('DW_AT_specification' not in die.attributes):
        return None
    spec_val = die.attributes['DW_AT_specification'].value
    offset = (spec_val + die.cu.cu_offset)
    return extern_env.get(offset)