// Drive path: /bin/echo — print arguments (kernel invokes run(argv))
async function run(ctx, argv) {
  ctx.console.log(argv.slice(1).join(' '))
}