<*UNUSED*>The pragma <*UNUSED*> may precede any declaration. It asserts that the entity in the following declaration is not used and no warnings should be generated. For example, the procedures that implement the default methods for an object may not need all of the actual parameters:
PROCEDURE DefaultClose (<*UNUSED*> wr: Wr.T) = BEGIN (* do nothing *) END DefaultClose;