1 2 3 4
#include <stddef.h> #include <stdint.h> void foo(float a[10], int64_t (*out__)[3]); void main__(void);