../omegatools.hh