/* $Header$ */
/* Instantiation of idf package */
#include "position.h"
#include "file.h"
#include "idf.h"
#include <idf_pkg.body>