Debugging mc options