;; add functions here which can be used in myeiffel layer