#include void add_one (int a, int *b) { *b = a + 1; }