/*
-*- coding: utf-8 -*-

 Copyright by @@LONGNAME@@ <@@EMAIL@@>
 First version: @@crdate@@

 Synopsis: @@DESCR@@

 $Id$


*/

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

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