code: def cache_keys(keys):
      
      d = known_keys()
      known_names = dict(zip(d.values(), d.keys()))
      for k in keys:
          i = (ord(k),) if len(k) == 1 else known_names[k]
          _key_cache.insert(0, i)
docs: Allow debugging via PyCharm