:- module library.
:- pragma termination_info(library:version((builtin:out)), infinite, cannot_loop).