lri_size          996 gc/dyn_load.c                GC_printf("Region size      = %16ld\n",  regioninfo.lri_size);
lri_size         1003 gc/dyn_load.c                  (char *)regioninfo.lri_mapaddr + regioninfo.lri_size,