Symbol: trace_ma_write