Implement push lookahead.