DEFINITION MODULE IntId = Ident(INTEGER);
END IntId.