write_16_check
write_16_check(addr_t P, Elf32_Word value)
write_16_check(addr_t *P, Elf32_Word value)