RE: trade-offs of secure programming with Palladium (Re: Palladiu m: technical limits and implications)