docs: void truncate(long position)
      {
          buffer.truncate(position);
          // TODO decide if it is worth making this faster than O(N)
          final PatchPoint patch = patchPoints.truncate(position);
          if (patch != null)
          {
              patchBuffer.truncate(patch.patchPosition);
          }
      }