:- module int.
:- pragma termination_info(int:'ClassMethod_for_enum__enum____int__arity0______enum__from_int_1'((builtin:in)) = (builtin:out), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(int:'ClassMethod_for_enum__enum____int__arity0______enum__to_int_1'((builtin:in)) = (builtin:out), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(int:'<'((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:'>'((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:'=<'((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:'>='((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:abs((builtin:in)) = (builtin:out), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(int:abs((builtin:in), (builtin:out)), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(int:max((builtin:in), (builtin:in)) = (builtin:out), finite(0, [yes, yes, no]), cannot_loop).
:- pragma termination_info(int:max((builtin:in), (builtin:in), (builtin:out)), finite(0, [yes, yes, no]), cannot_loop).
:- pragma termination_info(int:min((builtin:in), (builtin:in)) = (builtin:out), finite(0, [yes, yes, no]), cannot_loop).
:- pragma termination_info(int:min((builtin:in), (builtin:in), (builtin:out)), finite(0, [yes, yes, no]), cannot_loop).
:- pragma termination_info(int:to_float((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(int:pow((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:pow((builtin:in), (builtin:in), (builtin:out)), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:log2((builtin:in)) = (builtin:out), finite(0, [no, no]), can_loop).
:- pragma termination_info(int:log2((builtin:in), (builtin:out)), finite(0, [no, no]), can_loop).
:- pragma termination_info(int:'+'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'+'((builtin:uo), (builtin:in)) = (builtin:in), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'+'((builtin:in), (builtin:uo)) = (builtin:in), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:plus((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'*'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:times((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'-'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'-'((builtin:uo), (builtin:in)) = (builtin:in), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'-'((builtin:in), (builtin:uo)) = (builtin:in), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:minus((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:div((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:'//'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:'/'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:unchecked_quotient((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:mod((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:rem((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(int:unchecked_rem((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'<<'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:unchecked_left_shift((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'>>'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:unchecked_right_shift((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:even((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(int:odd((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(int:'/\\'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'\\/'((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:xor((builtin:in), (builtin:in)) = (builtin:uo), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:xor((builtin:in), (builtin:uo)) = (builtin:in), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:xor((builtin:uo), (builtin:in)) = (builtin:in), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(int:'\\'((builtin:in)) = (builtin:uo), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:'+'((builtin:in)) = (builtin:uo), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:'-'((builtin:in)) = (builtin:uo), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(int:is((builtin:uo), (builtin:di)), finite(0, [no, no, yes]), cannot_loop).
:- pragma termination_info(int:is((builtin:out), (builtin:in)), finite(0, [no, no, yes]), cannot_loop).
:- pragma termination_info((int:max_int) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(int:max_int((builtin:out)), infinite, cannot_loop).
:- pragma termination_info((int:min_int) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(int:min_int((builtin:out)), infinite, cannot_loop).
:- pragma termination_info((int:bits_per_int) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(int:bits_per_int((builtin:out)), infinite, cannot_loop).
:- pragma termination_info(int:floor_to_multiple_of_bits_per_int((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(int:quot_bits_per_int((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(int:times_bits_per_int((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(int:rem_bits_per_int((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info((int:domain_checks), finite(0, []), cannot_loop).