module CORAL::Uint1