[#8] Using %destructor instead of Return stack