module Currency {
}

//! new-transaction
module Currency {
}

// check: DuplicateModuleName