(module Linked_stack)