Re: how to deal with longjmp warnings