extern "C"
int triple_input(int input) {
    return input * 3;
}