The module system spec