M2compiler-V3/compiler/tests/showcase23int.def

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