img_proof.ipa_constants moduleΒΆ