linksem_num
Abi_cheri_mips64
linksem_zarith
val header_is_cheri_mips64 : Elf_header.elf64_header -> bool
val header_is_pure_cheri_mips64 : Elf_header.elf64_header -> bool