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