document.write("«&nbsp;<a href='/news/view?id=140073'>Bounce denotes battery health (2015)</a>");document.write(" | ");document.write("<a href='/news/view?id=140075'>CHERI: Capability Hardware Enhanced RISC Instructions</a>&nbsp;»");