Translate "Example: Insertion Sort on Linear Lists"