[sr-dev] modules_K and modules