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