#lang transd

MainModule: {
	_start: (λ
        (textout "Number of arguments: " @numArgs
                 "\nArgument list: " @progArgs)
    )
}