counter int R1;
synchronised {  // Automata constraining uri
automaton uri_0 {
  init s6;
  s1 -> s2 [111, 111]  {};
  s3 -> s4 [103, 103]  {};
  s4 -> s5 [111, 111]  {};
  s6 -> s7 [98, 98]  {};
  s7 -> s8 [58, 58]  {};
  s8 -> s9 [47, 47]  {};
  s9 -> s10 [47, 47]  {};
  accepting s10;
};

automaton uri_3 {
  init s0;
  s0 -> s1 [0, 65535] {};
  s1 -> s1 [0, 65535] {R1 += 1};
  accepting s0, s1;
};
};