docs: def read_plain_int32(file_obj, count):
      """Read `count` 32-bit ints using the plain encoding."""
      length = 4 * count
      data = file_obj.read(length)
      if len(data) != length:
          raise EOFError("Expected {} bytes but got {} bytes".format(length, len(data)))
      res = struct.unpack("<{}i".format(count).encode("utf-8"), data)
      return res