osmo-ttcn3-hacks