the MELT monitor (see http://gcc-melt.org for more about MELT)