module Moduledef10
  ( hello
  , world
  ) where

hello = "hello"
world = "world"

value = ()