:- module call_nonempty12.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.
:- import_module list.
:- import_module nonempty12.

main(!IO):-
	extract(hold([])) = List,
	List = [Head | _],
	io.write_int(Head, !IO),
	io.nl(!IO).