#ifndef __wasilibc_sys_types_h
#define __wasilibc_sys_types_h

#define __need_size_t
#include <stddef.h>

#include <__typedef_clock_t.h>
#include <__typedef_time_t.h>
#include <__typedef_blksize_t.h>
#include <__typedef_off_t.h>
#include <__typedef_ssize_t.h>
#include <__typedef_suseconds_t.h>
#include <__typedef_nlink_t.h>
#include <__typedef_clockid_t.h>

#endif
