arm/hello.c

#include <libcflat.h>

int main(void)
{
    report_prefix_push("HELLO-WORLD");

    printf("Hello, world!\n");
    report_pass();
    return report_summary();
}