/* Library Function */
int add_one(int input) {
    return input + 1;
}