{
    vector<int> v1, v2, v3;
    //
    {
        push_back_tx tx1 (v1, 1);
        //
        {
            push_back_tx tx2 (v2, 2);
            v3.push_back(3);
            tx1.commit();
            tx2.commit();
        }
        //
    }
    //    
}

using System;
using System.Collections.Generic;
using System.Console;
using System.IO;
using System.IO.Path;
using Nemerle.Utility;

[Record]
public class FileIterator : IEnumerable[string]
{
  fileName : string;
  
  public GetEnumerator() : IEnumerator[string]
  {
    using (resource = File.OpenText(fileName))
    {
      
      def loop(line)
      {
        | null => ()
        | _    => yield line; loop(resource.ReadLine())
      }
      
      loop(resource.ReadLine())
    }
  }
}

module Program
{
  Main() : void
  {
    def asmPath = Reflection.Assembly.GetCallingAssembly().Location;
    def thisFileName = Combine(GetDirectoryName(asmPath), @"..\..\Main.n");
    foreach (line in FileIterator(thisFileName))
      WriteLine(line);
      
    WriteLine();
    WriteLine("--------------------------------------------------------------");
    WriteLine();
    
    FileIterator(thisFileName).Iter(WriteLine);
      
    _ = ReadLine();
  }
}

R>void f()
R>{
R>    using (lock l1 = m1.lock())
R>    {
R>        //...
R>        using (lock l2 = m2.lock())
R>        {
R>            //...
R>            using (file f = open_file())
R>            {
R>                //...
R>            }
R>        }
R>    }
R>}
R>

void f()
{
    using (lock l1 = m1.lock(), l2 = m2.lock())
        using file f = open_file()
        {
                //...
        }
}

lock(obj)
{
    ...
}

string f(string s)
{
  string s2 = f2();
  return s + s2 + "!";
}

class scoped_resource : nocopy
{
public:
    scoped_resource()
        : h_(alloc_resource())
    {
        if (!h_) throw 0;
    }

    ~scoped_resource()
    {
        free_resource(h_);
    }

    handle_t const handle() const
    {
        return h_;
    }

private:
    handle_t h_;
};

struct my_resource_traits
{
    typedef int handle_type;
    static int const invalid_handle = -1;
    static void free(int h)
    {
        free_resource(h);
    }
};

typedef shared_handle<my_resource_traits> my_resource_handle;

string f(string s)
{
  string s2 = f2();
  return s + s2 + "!";
}