Thun/tests/stan/subtraction-023.stderr