https://monodes.com/predaelli/2016/03/15/ise-eiffel-sqlite/