#include <stdint.h>

uint64_t umulh(uint64_t x, uint64_t y);

uint64_t umodh(uint64_t lo, uint64_t hi, uint64_t m);