#include <stdint.h>
int32_t sub(int32_t a, int32_t b);