import "io"

let start() be
{ let buff = vec(129);
  let r;

  r := devctl(DC_TAPE_LOAD, 1, "table.txt", 'R');
  if r < 0 then
  { out("error %d for load\n", r);
    finish }

  { r := devctl(DC_TAPE_READ, 1, buff);
    byte r of buff := 0;
    out("read a block of %d: \"%s\"\n", r, buff) }
      repeatuntil r < 512;

  out("done\n");
  devctl(DC_TAPE_UNLOAD, 1) }