\section{Header file for the SUIFvm library}

Any OPI passes that use the OPI interface extensions defined by the
[[suifvm]] library should include the following header file.  Since
this library is also a target library, any library that extends SUIFvm
as a target machine should also include this header file.

<<suifvm.h>>=
/* file "suifvm/suifvm.h" */

<<Machine-SUIF copyright>>

#ifndef SUIFVM_SUIFVM_H
#define SUIFVM_SUIFVM_H

#include <machine/copyright.h>

#include <suifvm/init.h>
#include <suifvm/opcodes.h>
#include <suifvm/instr.h>
#include <suifvm/code_gen.h>
#include <suifvm/printer.h>
#include <suifvm/c_printer.h>
#include <suifvm/contexts.h>

#endif /* SUIFVM_SUIFVM_H */
@

The header files in the [[suifvm]] library depend only on the
[[machine]] library.