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

/* This hack is used to prevent GCC from generating an
   in-lined call to incrk */
void incrk(int *ip, int k);

/* 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;
}

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

int add3_inline(int x) {
    int localx = x;
    *(&localx) += 3;
    return localx;
}