int add_five(int x) { return x + 5; }