module moduledef03 where