module Empty

Start world = world