:- module profiling_builtin.
:- pragma termination_info(profiling_builtin:prepare_for_normal_call((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(profiling_builtin:prepare_for_special_call((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:prepare_for_ho_call((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:prepare_for_method_call((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:prepare_for_callback((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(profiling_builtin:prepare_for_tail_call((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(profiling_builtin:save_and_zero_activation_info_ac((builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_and_zero_activation_info_sr((builtin:out)), infinite, cannot_loop).
:- pragma termination_info((profiling_builtin:rezero_activation_info_ac), finite(0, []), cannot_loop).
:- pragma termination_info((profiling_builtin:rezero_activation_info_sr), finite(0, []), cannot_loop).
:- pragma termination_info(profiling_builtin:reset_activation_info_ac((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:reset_activation_info_sr((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_1((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_2((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_3((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_4((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_5((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_6((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_7((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_8((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:save_recursion_depth_9((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_1((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_2((builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_3((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_4((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_5((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_6((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_7((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_8((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_exit_9((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_1((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_2((builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_3((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_4((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_5((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_6((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_7((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_8((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no, no, no]), cannot_loop).
:- pragma termination_info(profiling_builtin:restore_recursion_depth_fail_9((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no, no, no, no, no, no, no]), cannot_loop).