Symbol: patt_t