path: root/testsuite/vhpi/002load_entrypoint/vhpi_lib.c

#include <stdio.h>
#include <vhpi_user.h>

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