Oops, previous commit msg was a bit off; foreignObjToAddr added,
but to this interface (Foreign.) Addr was augmented with
writeForeignObjOffAddr though.