post_IP
{ pre_IP, post_IP, 0 }, /* IP */
static void post_IP(DECL_ARGS);
static void post_IP(CHKARGS);
post_IP, /* IP */