fun rmap_dest(rtype, regnum, inum) { val dest : DestRef; dest.rtype = rtype?cvt(uchar); dest.regnum = regnum?cvt(uchar); return dest; }