|| Generated Sapl file for StdEnum.icl || Converted Records