Re: [sr-dev] modules_K and modules