Symbol: is_write_abort