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