Gio.DataInputStream.new

function new(base_stream: Gio.InputStream): Gio.DataInputStream {
    // Gjs wrapper for g_data_input_stream_new()
}