Searching in vmkit/mmtk/mmtk-alloc