(module Core_stack)