module CORAL::Id0