src/core/overflowsafe_type.hpp
changeset 9354 845e07db4549
parent 9047 1b4e4af03845