uint32_t -> boost::uint32_t