mod-0.2.0.1: cbits/aarch64.h
#include <stdint.h> uint64_t umulh(uint64_t x, uint64_t y); uint64_t umodh(uint64_t lo, uint64_t hi, uint64_t m);
#include <stdint.h> uint64_t umulh(uint64_t x, uint64_t y); uint64_t umodh(uint64_t lo, uint64_t hi, uint64_t m);