The Tutorial and API Reference of VEDA  3.0.1
examples/VE/libvehello.vc
#include <stdio.h>
void hello_world(void) {
printf("Hello, world!\n");
}