boost::int* to int* based on cstdint