gistfile1.txt

#include <stdio.h>

void put_character(char);

int main() {

    put_character(5);
    end_line();
    return 0;
}

void put_character(char x) {
    printf("%d", x);
}