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

Cyc_stdin() port_type Cyc_stdin ( void  )