Symbol: TRI_MODULE