THO8: push syntax + tests