fun rmap_dest(rtype, regnum)
{ return rmap_dest(rtype,regnum,instq?length()); }