1#include <stdint.h>
2int32_t add(int32_t a, int32_t b);