Use uint32 for decoding depth counter.