module Moduledef13 (module Moduledef13) where

hello = "hello"