#include "foo.h"
uint32_t add(uint32_t a, uint32_t b) {
    return a + b;
}