#pragma once

#include <stdint.h>

int32_t a_minus_b_mod23(uint32_t a, uint32_t b);