Deinitializers are always @objc. (Arguably, this makes it unnecessary to print, but we don't want to do any @objc inference at all in a swiftinterface.)
