process32_ex_token
table_init(AUT_PROCESS32_EX, "process", process32_ex_token, T_ENCLOSED);
extern int process32_ex_token();
extern void process32_ex_token();