async function main(args) {
    writeStdout(args.slice(1).join(" ")+"\n")
    return 0
}