lookup.Add("#.name .<flush>",()=>{System.Console.Error.WriteLine("#.name .<flush>");
  c.dzn_runtime.flush(c);
});