cpu/tests/test_c/main.c

#include <stdint.h>

uint32_t addathing(uint32_t a)
{
    return a + 0x29;
}