process64_token
table_init(AUT_PROCESS64, "process", process64_token, T_ENCLOSED);
extern int process64_token();
extern void process64_token(adr_t *, parse_context_t *);