#include <stdint.h>
uint32_t add(uint32_t a, uint32_t b);
extern uint32_t foo;