Symbol: big_t