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