#lang transd

MainModule: {
    _start: (λ
        (with s1 "aaa" s2 "bbb" s3 "ccc"
            (+= s1 s2 s3)
            (textout s1))
    )
}