Thun/tests/stan/cons-012.joy