#lang transd

MainModule : {
  _start: (λ
    (with s "Hello!" s1 "" s2 ""
        (= s1 s)             // duplication of 's' content
        (rebind s2 s)        // another reference to 's'
        (= s "Good bye!")
        (lout s)
        (lout s1)
        (lout s2)
    )
  )
}