#include <inttypes.h>
#include <stdio.h>

size_t add(uint32_t a,uint32_t b,uint32_t c) {
  return a+b+c;
}

int main() {
  printf("%zu\n",add(1,2,0xffffffffu));
}