#ifndef VINT64OPS_H
#define VINT64OPS_H
extern int icmpv64(const vint64 * lhs, const vint64 * rhs);
extern int ucmpv64(const vint64 * lhs, const vint64 * rhs);
extern vint64 addv64(const vint64 *lhs, const vint64 *rhs);
extern vint64 addv64i32(const vint64 * lhs, int32_t rhs);
extern vint64 addv64u32(const vint64 * lhs, uint32_t rhs);
extern vint64 subv64(const vint64 *lhs, const vint64 *rhs);
extern vint64 subv64i32(const vint64 * lhs, int32_t rhs);
extern vint64 subv64u32(const vint64 * lhs, uint32_t rhs);
extern vint64 strtouv64(const char * begp, char ** endp, int base);
#endif