nameiargprint
void nameiargprint(const char *, struct ktr_header *, register_t **, int *);
nameiargprint("(", kth, &ap, &argsize);
nameiargprint(", ", kth, &ap, &argsize);