vti_bitlen
int vop_time_increment_bitlength = vti_bitlen(go);
CODE_ADD(c, 0, vti_bitlen(go));
CODE_ADD(c, 1001, vti_bitlen(go));