use SendRecv STM interpreter in example