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