#symbol-disjoint-split