interface(extern-c){
  externalLibs = library:: pkgconfig("libxml-2.0").

  include {
      externalLibs = {"scripts/virtualization/defs.h"}
  }.
}

import raw ("scripts/cfa/context.lp").                                 //enable context reasoning
import raw ("scripts/virtualization/virtualization.lp").               //enable virtualization reasoning
import raw ("scripts/virtualization/test-IsolationCat_1.assembly.lp"). //additional configuration

DictSizo = type slave dict_sizo.
Sizo = type slave virt_sizo.

guard:: strategy(direct)
{
  resolveFilename = function(filename:: string):: string; 
                                                  assign_zek_access(files)
  { 
    filename 
  }
}

guard:: strategy(prefix) 
{
  resolveFilename = function(filename:: string):: string; 
                                                  assign_zek_access(files)
  {
    dictSizo = intrinsic query("dict_sizo")::[DictSizo].
    sizoId = intrinsic query late("sizo_current"->sizoCurrent:: Sizo):: int; 
                                                                        demand(sizo)
    {
      loop fold(dictSizo->entry::DictSizo, 0->id):: int 
      {
        if(entry[0] == sizoCurrent):: int { entry[1] } else { id }
      }
    }.
    
    buf = "00"::string.
    seq
      { sprintf(buf, "%d/%s", sizoId, filename) }
      { buf }
  }
}

openFile = function(filename:: string):: int
{
  filenameReal = resolveFilename(filename):: string.
  printf("File opened: '%s'%c", filenameReal, 10)
}

<EXAMPLE>