<%= header 'c.hdr' %>

#include <stdio.h>

int hello() {
    printf ("hello world");
    return 0;
}