/* Public domain. */

#ifndef UINT16_H
#define UINT16_H

#include "uint64.h"

