#ifndef __include_integrity_time_h
#pragma ghs startnomisra
#define __include_integrity_time_h

#if defined(INT_178B_FULL)
# include <ghsposix/../../INTEGRITY-include-full/time.h>
#else
# include <INTEGRITY_version.h>
# if __INTEGRITY_MAJOR_VERSION > 4
#  include <ghsposix/../../INTEGRITY-include/time.h>
# else
#  include "../../ansi/time.h"
# endif /* __INTEGRITY_MAJOR_VERSION > 4 */
#endif /* defined(INT_178B_FULL) */

#if defined(__STDC_VERSION__) && (__STDC_VERSION__>=199901L)
#define __Restrict	restrict
#else
#define __Restrict
#endif

#ifdef __cplusplus
extern "C" {
#endif

#define __GHS_WANT_RSIZE_T 1
#define __GHS_WANT_ERRNO_T 1
#include "../../ansi/ghs_annex_k.h"

#if defined(__GHS_WANT_ANNEX_K_DEFS)
/* From C11 Annex K "Bounds-checking interfaces" */
errno_t asctime_s(char *__s, rsize_t __maxsize, const struct tm *__timeptr);
errno_t ctime_s(char *__s, rsize_t __maxsize, const time_t *__timer);
struct tm * gmtime_s(const time_t *__Restrict __timer,
	struct tm *__Restrict __result);
struct tm * localtime_s(const time_t *__Restrict __timer,
	struct tm *__Restrict __result);
#endif

#if defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 201112L)
#define TIME_UTC 1
int timespec_get(struct timespec *__ts, int __base);
#endif

#ifdef __cplusplus
}
#endif

#undef __Restrict

#pragma ghs endnomisra
#endif