properties_upper: INTEGER is do Result := properties_upper-1 end
See my commit of 7 January 2016.
Actually I commite that line on the previous 20 june, but I quite remember I wrote it in the middle of the night. I shall stop wasting time in early evening and stick to coding….