COMP: MLK and warnings