Symbol: check_spanning_write