Re: Debugging annotation machinery