module definition files