'UTF-8' ⎕UCS {⍵+256×⍵<0} i
where i are ints read from a file using type 83.
However, you can also, I think, do:
'UTF-8'⎕UCS ⎕UCS c
where c are the chars read from the file using type 80.
My question is, are these always equivalent? If so, any reason to prefer one over the other? I have not taken the time to compare the speeds yet.