method eof =
    call_method_void sv "eof" []