module defs