#include "vpi_user.h"

void hello() {
  vpi_printf("\n\nHello Deepak\n\n");
}