local defs in module