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_read_char Cyc_io_read_line Cyc_stderr Cyc_stdin Cyc_stdout Cyc_write Cyc_write_char Cyc_write_va Cyc_write_va_list dispatch_display_va dispatch_write_va

dispatch_write_va() void dispatch_write_va ( void *  data, int  argc, object  clo, object  cont, object  x,   ...  )