process64_ex_token
table_init(AUT_PROCESS64_EX, "process", process64_ex_token, T_ENCLOSED);
extern int process64_ex_token();
extern void process64_ex_token(adr_t *, parse_context_t *);