flex (prod. by lzr)