https://monodes.com/predaelli/2018/10/24/ecma-eiffel-syntax-guide/