function echo(args: string[]): void {
const msg = args.join(", ");
Deno.stdout.write(new TextEncoder().encode(msg));
}
echo(Deno.args);