Symbol: SMT_SIZE_HEADER