#include <stdint.h>

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