Gio.InputStream.prototype.read_finish

function read_finish(result: Gio.AsyncResult): Number(gssize) {
    // Gjs wrapper for g_input_stream_read_finish()
}