Implementation of module list