#include #include #include #include void pointer_test(const uint64_t *a); void print_from_rust(void); void unnamed(const uint64_t*);