Code is (as verified manually) const-correct