socket_ex_token
table_init(AUT_SOCKET_EX, "socket", socket_ex_token, T_ENCLOSED);
extern int socket_ex_token();
extern void socket_ex_token(adr_t *, parse_context_t *);