Yes. If A were a class, I'd have to specify `public I_A`, but since it's a struct, that's the default.