public static boolean IsZeroed(Address start, int size) throws InlinePragma { return isSetHelper(start, size, false, Word.zero());
public static boolean IsZeroed(Address start, int bytes) throws InlinePragma { return isSet(start, bytes, false, 0);
  public static boolean IsZeroed(Address start, int size) throws InlinePragma {    return isSetHelper(start, size, false, Word.zero());  }