Module Abi_power64

val abi_power64_compute_program_entry_point : Elf_interpreted_segment.elf64_interpreted_segment list -> Nat_big_num.num -> Nat_big_num.num Error.error