#include <stdio.h>

void printInt(int i)
{
    printf("%d\n", i);
}