Symbol: tmp43x_t