New example which terminates