..and leak-check uses an =