int top_left_before(void *);
@import diamond_top;
float left(float *);
int top_left(char *c);
int left_and_right(int*);
int top_left_before(void *);
@import diamond_top;
float left(float *);
int top_left(char *c);
int left_and_right(int*);