void rx_setup(void);
int rx_evaluate(char *a);
int rx_push(int a);
int rx_pop();
int rx_define(char *a, void *b, int c);
int rx_get_xt(char *a);
int rx_call_xt(int a);