purpose to show that TF-Fuzz can infer results;
set sst name john data "Take a holiday in Spain";
