:- module crash.

:- interface.
:- import_module io.
:- pred main(io::di,io::uo) is det.

:- implementation.

:- type f ---> f(int,int).

:- mutable(a,f,init_a,ground,[constant]).
:- mutable(b,f,init_b,ground,[constant]).

:- func init_a = f.
:- func init_b = f.

init_a = A :-
    get_b(A).
init_b = B :-
    get_a(B).

main(!IO) :-
    write_string("a = ",!IO),
    get_a(A),
    write(A,!IO),
    nl(!IO),
    write_string("b = ",!IO),
    get_b(B),
    write(B,!IO),
    nl(!IO).