✏️ Editing: shift_right.hpp