Thun/tests/stan/multiplication-023.stderr