impl mmust compile