The module definition