/* Public domain. */

#ifndef UINT32_H
#define UINT32_H

#include "uint64.h"

