stable: eraser.hpp
2_12