:- module gc.
:- pragma termination_info(gc:garbage_collect((builtin:di), (builtin:uo)), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info((gc:garbage_collect), finite(0, []), cannot_loop).