In microprogramming, compaction in which microoperations are not moved beyond the boundaries of the single entry, single exit sequential blocks in which they occur.