lri_mapaddr       995 gc/dyn_load.c                GC_printf("Mapped address   = %16p\n",   regioninfo.lri_mapaddr);
lri_mapaddr      1002 gc/dyn_load.c                  (char *)regioninfo.lri_mapaddr,
lri_mapaddr      1003 gc/dyn_load.c                  (char *)regioninfo.lri_mapaddr + regioninfo.lri_size,