execute_cts128
return execute_cts128(&fixture_cts128, idx);
return execute_cts128(&fixture_cts128_nist, idx);