}
	if i >= 10 && i < len(a) {
		return a[i-10] // ERROR "Proved IsInBounds$"
	}
	if j < uint(len(a)) {
		return a[j] // ERROR "Proved IsInBounds$"
	}
	return 0
}

func f1c(a []int, i int64) int {
	c := uint64(math.MaxInt64 + 10) // overflows int
	d := int64(c)
	if i >= d && i < int64(len(a)) {
		// d overflows, should not be handled.
		return a[i]
	}
	return 0
}

�e�|5Q�#�`U�^��i9_���zt��=C�Ӥ�d��t�V�+E�XՆZŬ��>�W�Ճ(}y�6�8���Z�ԏ�˕啟 f_����G+��+�1_�����~N�#����ேלx}��ćګ���_?[6ۣ�MP�Z�3�pj�e�y�x>;�k�B�ʓ�����}�V��p}��6j�㘓������D�2�Ӯ)�S�^=bT�k�~��f;5��ՃS
~5h�ӑ�8�L29��e����e��^fe�ڥ'�cUQl���[Hil-��F1C�s�\bfc>��c�L�d�q��SY���c2X�c�Ę�X`�`X�0�4J�c �k1��������'���X9�˫C�q�D��UG�mV0g ��yd y����Ͷd=�,�g���q�4OS��#�Y��.s�s�'g;~|+�����R��׉x>8��9��>�+�#�e�)�N�v5\5t�j[���=��>Q}We6�X4��O���pj��q��k�}�U�Z�D虢fJ`�x�yxLC�l���40O��C�� ...