GENERIC INTERFACE Times ();

PROCEDURE Initialize (rep: INTEGER);

END Times.