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