class Object
  def sysread: (IO io, Integer size) -> String
end