( BitVct ) u$ : v , Comnin.