void ao_mul64_64_64(ao_int64_t *r, ao_int64_t *a, ao_int64_t *b);
void ao_mul64_32_32(ao_int64_t *r, int32_t a, int32_t b);
void ao_mul64_64_16(ao_int64_t *r, ao_int64_t *a, uint16_t b);
void ao_mul64_64_64(ao_int64_t *r, ao_int64_t *a, ao_int64_t *b);
void ao_mul64_32_32(ao_int64_t *r, int32_t a, int32_t b);
void ao_mul64_64_16(ao_int64_t *r, ao_int64_t *a, uint16_t b);