/*
-*- coding: latin-1 -*-

 Copyright by @@LONGNAME@@ <@@EMAIL@@>
 First version: @@crdate@@
 Last modified: 2009-10-07T14:17 CEST (+0200)

 Synopsis: @@DESCR@@

 $Id$


*/

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[]) {
    return 0
}