eib_ibt_release_avect
eib_ibt_release_avect(ss, av);
extern void eib_ibt_release_avect(eib_t *, eib_avect_t *);