[armedbear-devel] IGNORE declaration in inline function not heeded