flex.texi