#lang transd MainModule : { a: Int(), b: Int(), _start: (lambda (textout (+ (read a) (read b)))) }