typedef unsigned char uint8;
typedef signed char sint8;
typedef uint8 tpl_resource_id;
typedef enum
{
  TRYTOGETSPINLOCK_SUCCESS,
} TryToGetSpinlockType;
typedef struct
  {
  } __sigset_t;
struct __jmp_buf_tag
  {
  };
struct timespec
  {
  };
typedef union sigval
  {
  } sigval_t;
typedef struct
  {
    union
      {
 struct
   {
     struct
       {
       } si_addr_bnd;
   } _sigfault;
 struct
   {
   } _sigsys;
      } _sifields;
  } siginfo_t ;
enum
{
  SI_SIGIO,
};
typedef struct sigevent
  {
    union
      {
 struct
   {
   } _sigev_thread;
      } _sigev_un;
  } sigevent_t;
enum
{
  SIGEV_THREAD_ID = 4
};
struct sigstack
  {
  };
enum
{
  SS_ONSTACK = 1,
};
typedef struct sigaltstack
  {
  } stack_t;
struct _fpx_sw_bytes
{
};
struct _xmmreg
{
};
struct _xsave_hdr
{
};
struct _ymmh_state
{
};
struct _xstate
{
};
struct _libc_fpreg
{
};
struct _libc_fpstate
{
};
typedef struct
  {
  } mcontext_t;
typedef struct ucontext
  {
  } ucontext_t;
     __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__deprecated__));
extern int sigaltstack (const struct sigaltstack *__restrict __ss,
   struct sigaltstack *__restrict __oss) __attribute__ ((__nothrow__ , __leaf__));
union pthread_attr_t
{
};
typedef struct __pthread_internal_slist
{
} __pthread_slist_t;
typedef union
{
  struct __pthread_mutex_s
  {
    __extension__ union
    {
    };
  } __data;
} pthread_mutexattr_t;
typedef union
{
  struct
  {
  } __data;
} pthread_condattr_t;
typedef union
{
  struct
  {
  } __data;
} pthread_rwlockattr_t;
extern int pthread_sigmask (int __how,
       __sigset_t *__restrict __oldmask)__attribute__ ((__nothrow__ , __leaf__));
enum
  {
    _CS_V7_ENV
  };
struct TPL_CONTEXT {
};
typedef uint8 tpl_status;
typedef uint8 tpl_proc_state;
typedef sint8 tpl_application_mode;
typedef tpl_status StatusType;
typedef tpl_proc_state * TaskStateRefType;
typedef tpl_application_mode AppModeType;
extern const tpl_application_mode OSDEFAULTAPPMODE;
extern void StartOS(
  const AppModeType mode);
StatusType ChainTask(
  TaskStateRefType state);
typedef tpl_resource_id ResourceType;
StatusType GetResource(
  const ResourceType res_id);
typedef struct object_t {
} object_t;
typedef struct array_t {
} array_t;
typedef struct {
} c6_Thread_t;
typedef struct {
} c7_Test_t;
int main(void) {
 StartOS(OSDEFAULTAPPMODE);
}