declare
   X : Integer; -- Allocated on the stack
begin
   ...
end; -- X is freed