#include <stdio.h>
#include <vpi_user.h>

void my_startup()
{
  printf ("VHPI lib 2\n");
}