Trimmed concolic section.