s5_IPC_perm_token
table_init(AUT_IPC_PERM, "IPC_perm", s5_IPC_perm_token, T_ENCLOSED);
extern int s5_IPC_perm_token();
extern void s5_IPC_perm_token(adr_t *, parse_context_t *);