Fix uint32 issue with initial PN #255

	---
	name: "MbedTLS-test"

	on:
	push:
	branches:
	- master
	pull_request:
	branches:
	- master

	jobs:
	mbedtls:
	name: MbedTLS-test
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3
	with:
	# We must fetch at least the immediate parents so that if this is
	# a pull request then we can checkout the head.
	fetch-depth: 2
	submodules: 'recursive'

	- name: Installing MbedTLS
	run: \|
	pwd
	cd ..
	git clone https://github.com/Mbed-TLS/mbedtls
	cd mbedtls
	echo "cloned mbedtls"
	git submodule init
	git submodule update
	mkdir build
	cd build
	cmake -S .. .
	echo "cmake done"
	make
	echo "compiled MbedTLS"
	pwd
	cd ../../picoquic
	pwd
	ls

	- name: Building picoquic
	run: \|
	sudo apt-get install clangd
	sudo apt-get install -y libssl-dev
	echo $CC
	echo $CXX
	# $CC --version
	./ci/build_picotls.sh
	cmake -S . -B build "-DWITH_OPENSSL=OFF" "-DWITH_MBEDTLS=ON"
	cmake --build build

	- name: Perform Unit Tests
	run: \|
	ulimit -c unlimited -S
	cd build
	make picoquic_ct
	./picoquic_ct -S .. mbedtls_crypto minicrypto_is_last mbedtls && QUICRESULT=$?
	if [[ ${QUICRESULT} == 0 ]]; then exit 0; fi;
	exit 1

Provide feedback