-/*
- * JMM -
- * This header will eventually be MIG-generated and define the
- * exception interfaces. It used to define the exception data
- * types, but those have been moved to exception_types.h for
- * consistency. Once this is MIG-generated, it will automatically
- * drag in the types, but for compatibility in the interim, just
- * pull them in manually.
- */