static S assertIPv4(S s) {
  assertTrue(s, isIPv4(s));
  ret s;
}