sdp_put_uint64
bool sdp_put_uint64(sdp_data_t *, uint64_t);
return sdp_put_uint64(data, (uint64_t)value);
ATF_REQUIRE(sdp_put_uint64(&test, (uint64_t)0));
ATF_REQUIRE(sdp_put_uint64(&test, (uint64_t)UINT8_MAX));
ATF_REQUIRE(sdp_put_uint64(&test, (uint64_t)UINT16_MAX));
ATF_REQUIRE(sdp_put_uint64(&test, (uint64_t)UINT32_MAX));
ATF_REQUIRE(sdp_put_uint64(&test, (uint64_t)UINT64_MAX));
ATF_REQUIRE(sdp_put_uint64(&test, (uint64_t)0xc0ffeecafec0ffee));