tc_3000_500_ioslot
tc_3000_500_ioslot(slot, IOSLOT_S, 0);
extern void tc_3000_500_ioslot(u_int32_t, u_int32_t, int);
tc_3000_500_ioslot(i, IOSLOT_S, !0);