String getString(int key) { Pointer _v = gl.glGetString(key); return _v.cast<Utf8>().toDartString(); }