INTERFACE IntList   = List (Int) END IntList.