Removed optimization pragmas from module DoubleLinkedList.