Working sjlj eh for iOS