pub(super) fn valid_block0_transaction_no_inputs<Extra>(
    tx: &TransactionSlice<'_, Extra>
) -> Result<(), Error>