TestADTSingleConsOne.icl 260 Bytes