(+) simplified demo tst0.ceu