Constant TD_TOKEN_MAXPKT_SHIFT 

const TD_TOKEN_MAXPKT_SHIFT: u32 = 16;