#include <stdint.h>
void x25519_scalar_mult(uint8_t out[32], const uint8_t scalar[32], const uint8_t point[32]);