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