Symbol: to_mibcq