GENERIC DEFINITION MODULE Ident (T : TYPE);
PROCEDURE Id(x : T) : T;
END Ident.