#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <stdint.h>

#include "sqlite3ext.h"
SQLITE_EXTENSION_INIT3

extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
{
  // Note: all fuzzing is done from Python in `test_sync_prop`
    return 0;
}