Interworking: Avoid undefined behavior in pointer arithmetic