Validated test01.stm