14 void fprint (cl_ostream stream, const cl_string& str)
16 #if defined(CL_IO_STDIO)
17 var const char * ptr = str.asciz();
18 var unsigned long i = str.length();
20 fprintchar(stream,*ptr);
24 #if defined(CL_IO_IOSTREAM)
25 stream.write(str.asciz(),str.length());