::: GDBC-04SMT-4.0 :::