process32_token
table_init(AUT_PROCESS32, "process", process32_token, T_ENCLOSED);
extern int process32_token();
extern void process32_token();