Cyc_display Cyc_display_va Cyc_display_va_list Cyc_io_close_input_port Cyc_io_close_output_port Cyc_io_close_port Cyc_io_flush_output_port Cyc_io_get_output_bytevector Cyc_io_get_output_string Cyc_io_open_input_bytevector Cyc_io_open_input_file Cyc_io_open_input_string Cyc_io_open_output_file Cyc_io_open_output_string Cyc_io_peek_char Cyc_io_peek_u8 Cyc_io_read_char Cyc_io_read_line Cyc_io_read_token Cyc_io_read_u8 Cyc_stderr Cyc_stdin Cyc_stdout Cyc_write Cyc_write_char Cyc_write_u8 Cyc_write_va Cyc_write_va_list dispatch_display_va dispatch_write_va

object Cyc_write_va ( void *  data, int  argc, object  x,   ...  )