docs: def random_get_instance() -> tcod.random.Random:
      """Return the default Random instance.
  
      Returns:
          Random: A Random instance using the default random number generator.
      """
      return tcod.random.Random._new_from_cdata(
          ffi.cast("mersenne_data_t*", lib.TCOD_random_get_instance())
      )