#include <stdio.h>                /* Pour l'utilisation de printf... */

void printInt(int val)
{
 printf("%d",val);
}

int main(void)
{
 int i = 17;

 printInt(i);

 printf("\n");

 return 0;
}