<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_p0hs7s83nskjk1q6u08c9a9a16, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p-tt {
  testIt("google.de");
  testIt("botcompany.de");
  testIt("ai1.space");
  testIt("69.10.46.185");
  testIt("not.found");
}

svoid testIt(S name) { pcall-short {
  printAsciiHeading2(name);
  print(InetAddress.getByName(name));
  printNumberedLines(InetAddress.getAllByName(name));
}}

sS str(O o) {
  if (o instanceof InetAddress)
    ret _str(o) + " (canonical: " + ((InetAddress) o).getCanonicalHostName() + ")";
  ret _str(o);
}