Dumbest line of code, ever

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….