Some useful pointer utilities when writing FFI modules