1extern void fricas_sleep(int); 2extern int get_int(Sock *); 3extern char * get_string(Sock *); 4extern double get_float(Sock *); 5extern Sock * connect_to_local_server(char *, int, int); 6extern int sread(Sock *, char *, int, char *); 7extern void sigpipe_handler(int); 8extern int wait_for_client_read(Sock *, char *, int, char *); 9extern int wait_for_client_write(Sock *, char *, int, char *); 10extern int swrite(Sock *, char *, int, char *); 11extern int sselect(int, fd_set *, fd_set *, fd_set *, void *); 12extern int fill_buf(Sock *, char *, int, char *); 13extern int sock_get_int(int); 14extern int get_ints(Sock *, int *, int); 15extern int sock_get_ints(int, int *, int); 16extern int send_int(Sock *, int); 17extern int sock_send_int(int, int); 18extern int send_ints(Sock *, int *, int); 19extern int sock_send_ints(int, int *, int); 20extern int send_string(Sock *, char *); 21extern int send_string_len(Sock *, char *, int); 22extern int sock_send_string(int, char *); 23extern int sock_send_string_len(int, char *, int); 24extern int send_strings(Sock *, char * *, int); 25extern int sock_send_strings(int, char * *, int); 26extern char * sock_get_string(int); 27extern char * get_string_buf(Sock *, char *, int); 28extern char * sock_get_string_buf(int, char *, int); 29extern int get_strings(Sock *, char * *, int); 30extern int sock_get_strings(int, char * *, int); 31extern int send_float(Sock *, double); 32extern int sock_send_float(int, double); 33extern int send_sfloats(Sock *, float *, int); 34extern int sock_send_sfloats(int, float *, int); 35extern int send_floats(Sock *, double *, int); 36extern int sock_send_floats(int, double *, int); 37extern double sock_get_float(int); 38extern int get_sfloats(Sock *, float *, int); 39extern int sock_get_sfloats(int, float *, int); 40extern int get_floats(Sock *, double *, int); 41extern int sock_get_floats(int, double *, int); 42extern int wait_for_client_kill(Sock *, int); 43extern int sock_get_remote_fd(int); 44extern int send_signal(Sock *, int); 45extern int sock_send_signal(int, int); 46extern int send_wakeup(Sock *); 47extern int sock_send_wakeup(int); 48extern Sock * connect_to_local_server_new(char *, int, int); 49extern void remote_stdio(Sock *); 50extern void init_purpose_table(void); 51extern int make_server_number(void); 52extern void close_socket(fricas_socket, char *); 53extern int make_server_name(char *, char *); 54extern int open_server(char *); 55extern int fricas_accept_connection(Sock *); 56extern void get_socket_type(Sock *); 57extern int sock_accept_connection(int); 58extern void redirect_stdio(Sock *); 59extern void init_socks(void); 60extern int server_switch(void); 61extern void flush_stdout(void); 62extern void print_line(char *); 63