Gio.BufferedInputStream.prototype.get_buffer_size

function get_buffer_size(): Number(gsize) {
    // Gjs wrapper for g_buffered_input_stream_get_buffer_size()
}