% Compile with: mmc --intermod-opt -m mod_a

:- module mod_a.
:- interface.

:- import_module io.

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

:- implementation.

:- import_module mod_b.

main(!IO) :-
    % ok
    write_int(mod_b.foo_int, !IO),
    nl(!IO),

    % bug
    write_uint(mod_b.foo_uint, !IO),
    nl(!IO),

    % bug
    write_uint16(mod_b.foo_uint16, !IO),
    nl(!IO),

    true.