#ifndef REDUCE_H #define REDUCE_H #include <stdint.h> uint16_t montgomery_reduce_32_16(uint32_t a); #endif