AUT_IPC
table_init(AUT_IPC, "IPC", s5_IPC_token, T_ENCLOSED);
char data_header = AUT_IPC; /* header for this token */