Symbol: tmp0