int ISQLite3Provider.sqlite3_compileoption_used(string s) { // TODO null string? GCHandle pinned = GCHandle.Alloc(util.to_utf8(s), GCHandleType.Pinned); IntPtr ptr = pinned.AddrOfPinnedObject(); int rc = SQLite3RuntimeProvider.sqlite3_compileoption_used(ptr.ToInt64()); pinned.Free(); return(rc); }