test/Modules/Inputs/diamond_top.h

int top(int *);

int top_left(char *c);

int top_left_before(void *);