arc> (write "a") "a" arc> (disp "a") a
write corresponds to read; its output is meant to be read back in by arc. Hence the quotes.
writefile is just a wrapper around write.