Alternative VE Offloading  2.7.6
examples/VE/libvehello.c
nclude <stdio.h>
#include <stdint.h>
uint64_t hello()
{
printf("Hello, world\n");
return 0;
}