#include <stdint.h>

uint32_t f_addu(uint32_t a, uint32_t b)
{ return a+b; }