Symbol: mapping_needs_writeback