Symbol: MIP4_BIN_TAIL_SIZE