/*
-*- coding: latin-1 -*-
Copyright by @@LONGNAME@@ <@@EMAIL@@>
First version: @@crdate@@
Last modified: 2009-04-03T13:01 CEST (+0200)
Synopsis: @@DESCR@@
$Id$
*/
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char *argv[]) {
return 0
}