} ao_int64_t;
void ao_plus64(ao_int64_t *r, ao_int64_t *a, ao_int64_t *b);
+void ao_minus64(ao_int64_t *r, ao_int64_t *a, ao_int64_t *b);
void ao_neg64(ao_int64_t *r, ao_int64_t *a);
void ao_lshift64_16(ao_int64_t *r, uint16_t a, uint8_t d);
void ao_rshift64(ao_int64_t *r, ao_int64_t *a, uint8_t d);
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(ao_int64_t *r, ao_int64_t *a, ao_int64_t *b);
#define ao_int64_init32(r, a) (((r)->high = 0), (r)->low = (a))
#define ao_int64_init64(r, a, b) (((r)->high = (a)), (r)->low = (b))