#include <stdio.h>

void imprime (int numero) {
  printf ("Número %d\n", numero);
}

main () {
  imprime (10);
}