Horrible monsters with __del__