✏️ Editing: empty.hpp