fun F8(i0,vv) {		 
    val ii = i0?ext(32)&(~1) | (i0?bit(0)?ext(32)<<5);
    fregs[ii] = vv?cast(unsigned[64])?bits(32,63);
    fregs[ii+1] = vv?cast(unsigned[64])?bits(32);
}