READ-FILE RANDOM READ-LINE
READ-FILE ( str-adr str-len file -- count code )  
ansi 11.6.1.2080 <FILE>
fill the given string buffer with characters from the buffer. A status code of zero means success and the returned count gives the number of bytes actually read. If an error occurs the number of already transferred bytes is returned.

reference: p4_read_file in ../src/file.c:0183, export CO READ-FILE