The Tutorial and API Reference of VEDA  3.3.0
examples/Hybrid_Offloading/helloworld_veda_c/device.vc
#include <stdio.h>
void hello_world(void) {
printf("Hello World from Device!\n");
}