code: static Key str2Key(String s) {
      Key k = str2Key_impl(s);
      assert key2Str_impl(k, decodeType(s)).equals(s) : "bijection fail " + s + " <-> " + k;
      return k;
    }
docs: Verify bijection of key/file-name mappings.