Sophie
var bv32ptdec_8c = [ [ "bv32_pp3dec", "bv32ptdec_8c.html#ab7c5252c4ffa284fc8d24d4881692796", null ] ];