boolean predSectionIsAlloc = predElement.isLoadable(); boolean requireModuloConstraint = firstSection || !predSectionIsAlloc || (!inAnySegment && predElement.isLoadable()) || !canSharePageWithPredecessor;
@Override public boolean isReferenceable() { return isLoadable(); }