STMbench7 port for RSTM