TestADTSingleConsMany.icl 305 Bytes