The Addressable type is more flexible than MemoryAddress, since it works on both segments and addresses. It would be useful if jextract generated static wrappers where parameter types used the Addressable type, rather than the more specific MemoryAddress type. This would allow clients to e.g. call a native function binding accepting a pointer with either a segment or an address, thus improving usability.