world tok-sortugdev-dot-os-v0{
  import all;
  include process-v0;
}

interface all {}