#ifndef __TYPES_H__#define __TYPES_H__#include <stdint.h>#include <rtthread.h>typedefrt_int32_tclockid_t;typedefrt_int32_tkey_t;/* Used for interprocess communication. */typedefrt_int32_tpid_t;/* Used for process IDs and process group IDs. */typedefsignedlongssize_t;/* Used for a count of bytes or an error indication. */