document.write("«&nbsp;<a href='/news/view?id=118316'>Nagini: A Static Verifier for Python [pdf]</a>");document.write(" | ");document.write("<a href='/news/view?id=118318'>Nokia 6.1: best answer to &quot;What Android phone should I buy?&quot;</a>&nbsp;»");