#!/bin/sh
# DF-3843 build
set -e
cd "$(dirname "$0")"
cc -O2 -Wall -o /tmp/df3843_proof map_sync_overflow_proof.c