/* Public domain. */

#ifndef UINT64_H
#define UINT64_H

