Let\'s say I have the following C code:
/* 1 */ typedef void (*void_f) (void *); /* 2 */ typedef void (*int_f) (int *