Symbol: INSERT_DOUBLE_READ_AND_DEL