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