rem: max  = sys.max_pages * 4; used = sys.used_pages * 4;
add: max = info.max_pages * 4; used = info.used_pages * 4;
context: show_memory_totals(){	int32       max = 0, used = 0, left;	system_info sys;		if (get_system_info(&sys) == B_OK) {		// pages are 4KB		max  = sys.max_pages * 4;		used = sys.used_pages * 4;	}		left = max - used;		printf("memory: total: %4dKB, used: %4dKB, left: %4dKB\n", max, used, left);}