IDA doesn't work unless we use remotectypes.
Why? I'm guessing due to garbage collection, but who knows.