/*
 * Library functions for Cavy
 */

#include <stdio.h>

char get_c(void) {
    return getchar();
}

char get_i(void) {
    int i = 0;
    char buffer[4096];
    fgets(buffer, sizeof buffer, stdin);
    sscanf(buffer,"%d", &i);
    return i;
}

void put_c(char c) {
    putchar(c);
}

void put_h(char c) {
    printf("%2x\n", (unsigned int)c);
}

void put_i(char c) {
    printf("%d\n", (int)c);
}

void put_s(short s) {
    printf("%d\n", (int)s);
}