fn print_str(str : int)
{
    while (1)
    {
  x : int;
  --
        x := read8(str);
        if (x = 0) {
            break;
        }
        putc(x);
        str := str + 1;
    }
}