:- module change_mode_r_2.

:- interface.

:- type foo
	--->	a
	;	b(int).

:- pred init_foo(foo::foo_out) is det.

:- mode foo_out == free >> foo.
:- inst foo == ground.

:- implementation.

init_foo(a).

