UINT32_T_MAX
if (next4bytes > UINT32_T_MAX - regval) {
next4bytes -= UINT32_T_MAX - regval;
if (next4bytes > UINT32_T_MAX - regval) {
next4bytes -= UINT32_T_MAX - regval;
#define MAX_PAGES(H) UINT32_T_MAX
if (next4bytes > UINT32_T_MAX - regval) {
next4bytes -= UINT32_T_MAX - regval;
if (next4bytes > UINT32_T_MAX - regval) {
next4bytes -= UINT32_T_MAX - regval;