#include #include <@HEADER@> int main(int, char*[]) { return 0; }