GC_unmapped_bytes  733 gc/alloc.c     	  GC_printf1("(%lu unmapped)", GC_unmapped_bytes);
GC_unmapped_bytes 1852 gc/os_dep.c    	  GC_unmapped_bytes += free_len;
GC_unmapped_bytes 1866 gc/os_dep.c          GC_unmapped_bytes += len;
GC_unmapped_bytes 1894 gc/os_dep.c    	  GC_unmapped_bytes -= alloc_len;
GC_unmapped_bytes 1911 gc/os_dep.c          GC_unmapped_bytes -= len;
GC_unmapped_bytes 1943 gc/os_dep.c    	  GC_unmapped_bytes += free_len;
GC_unmapped_bytes 1949 gc/os_dep.c          GC_unmapped_bytes += len;