Module ensurable and loadable