can these ever be emitted without HAS_MLITE?  If not, maybe ifdef them too