/* ISC license. */

#ifndef UINT32_H
#define UINT32_H

#include <stdint.h>
#include <skalibs/uint64.h>

typedef uint32_t uint32 ;