#include <stdio.h>

extern int get_input(char prompt[]);

int get_input(char prompt[]) {
    printf("%s: ", prompt);
    int in;
    scanf("%d", &in);
    return in;
}