<divclass="line"><aid="l00013"name="l00013"></a><spanclass="lineno"> 13</span><spanclass="keyword">virtual</span> type refill(type x, type L) {};</div>
<divclass="line"><aid="l00014"name="l00014"></a><spanclass="lineno"> 14</span><spanclass="keyword">virtual</span> type refill(type old_pos, type new_pos, type L) {};</div>