MAX_REGNUM
if (regnum <= MAX_REGNUM)
if (this_group_regnum <= MAX_REGNUM)
assert (reg_no > 0 && reg_no <= MAX_REGNUM);