public void WriteAddress(TargetAddress address, TargetAddress value)
{
check_alive ();
TargetBinaryWriter writer = new TargetBinaryWriter (
TargetMemoryInfo.TargetAddressSize, TargetMemoryInfo);
writer.WriteAddress (value);
write_memory (address, writer.Contents);
}