// unchanging over the life of the map, no need to lock
 public float getNoEntryKey() {
   return m.getNoEntryKey();
 }