/*
-*- coding: latin-1 -*-
Copyright by @@LONGNAME@@ <@@EMAIL@@>
First version: @@crdate@@
Last modified: @@lmdate@@
Synopsis: @@DESCR@@
*/
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char *argv[]) {
return 0
}