public static void assertIsZeroed(Address start, int size) throws NoInlinePragma { Assert._assert(isSetHelper(start, size, true, Word.zero()));
public static void assertIsZeroed(Address start, int bytes) throws NoInlinePragma { Assert._assert(isSet(start, bytes, true, 0));
  public static void assertIsZeroed(Address start, int size) throws NoInlinePragma {    Assert._assert(isSetHelper(start, size, true, Word.zero()));  }