Re: what's the purpose of the typedef in check_delete.hpp?