actors :: Worker :: put_line
fun put_line(y: Int, line: Array[Int]) do for i in [0..line.length[ do line[i] = get_byte(i * 8, y) end