fun u_div32(x1,x2,var ccr : cc) {
    val xx = x1 / x2?ext(64);
    if(xx > 1?ext(64)<<32) {
	xx = 0xffffffff?ext(64);
	ccr = (ccr?bits(8) | 0x02)?cvt(cc);
    }
    return xx;
}