[sr-dev] git:master:5d7fe2c2: sanity: main file of the module renamed to sanity_mod.c