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

extern void sv_hello();
int c_hello(const char *name, int age) {
    vpi_printf("c_hello: %s, %d\n", name, age);
    sv_hello();
    return 0;
}