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