LetDestruct fix: values which get destroyed have to be on the stack