when (String.sub (UriManager.string_of_uri s) 0 10 = "cic:/dummy") ->
let s = UriManager.string_of_uri s in
let len = String.length s in
when (String.sub (UriManager.string_of_uri s) 0 10 = "cic:/dummy") ->
let s = UriManager.string_of_uri s in
let len = String.length s in