ptrdiff (hackage): Type-checked pointer diffs.
Keywords: ffi|library