>>40
void clear() {
if (empty()) return;