Tl2 and STAMP can be compiled with and without lightweight monitoring.