:- module int_impl_imports_2. :- interface. :- type bar == int.