A few tests for mlet