Re: [armedbear-devel] FLET incorrectly optimized away