ObjC FFI: use bridged cast to store Objective-C objects in pointers