Unbelievably, interface serialization and loading worked at my first
attempt.