pub type ibv_counter_description = c_uint;