lookahead_noprogress documented