// implements an extended interface deriving from this one)
// ----------------------------------------------------------------------------
// implements an extended interface deriving from this one)
// ----------------------------------------------------------------------------