#include <stdio.h>
#include "hello.h"

void hello_pt ()
{
  printf ("Ola, mundo!\n") ;
}