. Auto-punching holes: basic stuff;
. Handle empty nodes appeared after node conversions at flush time,
   Cache a locked right neighbor in the struct flush_pos (to access
   it when current node becomes empty, and hence is removed from the
   tree).