assertAligned(start.toInt()); assertAligned(bytes.toInt());
assertAligned(start); assertAligned(bytes);
  public static void zeroSmall(Address start, Extent bytes)     throws InlinePragma {    if (Assert.VERIFY_ASSERTIONS) {      assertAligned(start.toInt());      assertAligned(bytes.toInt());    }    Address end = start.add(bytes);    for (Address addr = start; addr.LT(end); addr = addr.add(BYTES_IN_INT))       addr.store(0);  }