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