// This file is triggers loading of module M.