DEFINITION MODULE IntList = DList(INTEGER);
END IntList.