/*-
 * This file is in the public domain.
 */
/* $FreeBSD$ */

#ifndef _SYS__SEQC_H_
#define _SYS__SEQC_H_

typedef uint32_t seqc_t;

#endif /* _SYS__SEQC_H */