SDP_DATA_UINT64
case SDP_DATA_UINT64:
case SDP_DATA_UINT64:
case SDP_DATA_UINT64:
case SDP_DATA_UINT64:
data->next[0] = SDP_DATA_UINT64;
case SDP_DATA_UINT64:
ATF_CHECK_EQ(sdp_data_type(&test), SDP_DATA_UINT64);
if (sdp_data_type(d) != SDP_DATA_UINT64
case SDP_DATA_UINT64: