Mantis:Codev-41a579-inconsistent/qqq