Symbol: ibcm_fini