</head>
<body>
<div class='story-header'>
- <h1><a href='0000764057.html'>[$] IDA: simplifying the complex task of allocating integers</a></h1>
+ <h2><a href='0000764057.html'>[$] IDA: simplifying the complex task of allocating integers</a></h2>
<div class='details'>([Kernel] Sep 4, 2018 0:15 UTC (Tue) (corbet))</div>
<br/>
<div class='content' style='text-align: justify'>