make printall() const