class Object

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

end