#include <stdlib.h>
#include <stdio.h>

/* Increment value by k */
void incrk(int *ip, int k) {
  *ip += k;
}

/* Compute x + 3 */
int add3(int x) {
  int localx = x;
  incrk(&localx, 3);
  return localx;
}