module CORAL::SESC0