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