while (start.LT(end)) { start.store(ALIGNMENT_VALUE); start = start.add(BYTES_IN_INT);
if ((MAX_ALIGNMENT - MIN_ALIGNMENT) == BYTES_IN_INT) {  if (!end.diff(start).isZero()) { start.store(ALIGNMENT_VALUE); } } else { while (start.LT(end)) { start.store(ALIGNMENT_VALUE); start = start.add(BYTES_IN_INT); }
  final public static void fillAlignmentGap(Address start, Address end)    throws InlinePragma {    while (start.LT(end)) {      start.store(ALIGNMENT_VALUE);      start = start.add(BYTES_IN_INT);    }  }