#include <stdio.h>

#include <stdint.h>



void sumstore(int32_t x, int32_t y, int32_t* dest);



int main(int argc, char** argv) {

  int32_t z, x = 351, y = 333;

  sumstore(x,y,&z);

  printf("%i + %i = %i\n",x,y,z);

  return 0;

}