adamc@1259: fun hello name = return {[name]}