module definition final