s5_IPC_token
table_init(AUT_IPC, "IPC", s5_IPC_token, T_ENCLOSED);
extern int s5_IPC_token();
extern void s5_IPC_token(adr_t *, parse_context_t *);