#include <stdint.h>
void asfdhjfdsaf();
void main__(void);
static int8_t foo(int64_t x, float y, double z);