@manual{dwarf5std,
    title           = {DWARF Debugging Information Format version 5},
    organization    = {DWARF Debugging Information Format Committee},
    author          = {DWARF5},
    url             = {http://dwarfstd.org},
    year            = {2017},
}

@manual{c11std,
    title           = {ISO/IEC 9899:2011},
    organization    = {International Organization for Standardization},
    author          = {C11},
}