1		:- multifile generate/2.
2		:- multifile shrink/3.
3
4		% fixed value with no random generation or shrinking
5		generate(fixed(Value),Value).
6
7		shrink(fixed(Value),Value,Value).