Missing int64_t and helper.h