Pure functions are allowed to access mutable state without const qualifier. I don't understand, why you want the qualifier and how it would help with consistent implementation of purity.