var buffer_8c =
[
    [ "is_bufzero", "d3/d8b/buffer_8c.html#aef3a47dd35a06c4fbbc29dac8dc5451f", null ]
];