void sumstore(int x, int y, int* dest) {
  *dest = x + y;
}