; Automatically generated by SBV. Do not modify!
; Type: (Seq Int)
(seq.++ (seq.unit 1) (seq.unit 2) (seq.unit 3))