Tools for header compression