pub fn execute_transaction_with_system<S: SubstateDatabase, V: SystemCallbackObject + Clone, T: WrappedSystem<V>>(
    substate_db: &S,
    vm: V,
    costing_parameters: &CostingParameters,
    execution_config: &ExecutionConfig,
    transaction: &Executable<'_>,
    init: T::Init
) -> TransactionReceipt