/*
#sim: --sysroot=$pwd --load-vma
 */
#include "hello.c"