#8725-R: no check 0-pointers to delete