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