!7

p {
  pingIt("http://tinybrain.de");
  pingIt("http://google.de");
  pingIt("http://google.com");
  pingIt("http://ai1.lol");
}

svoid pingIt(S url) {
  time {
    print("Return code: " + getURLReturnCode(url));
  }
}