typedev for uint in serialize.h