#include "@HEADER@"

int main(int,char**)
{
    return 0;
}