tecscde 0.6.0

data/lib/tecsgen/version.rb

@@ -0,0 +1,6 @@
+class TECSGEN
+  PACKAGE = "tecsgen"
+  VERSION = "1.G.2"
+  COPYRIGHT = "Copyright(c) 2008-2018, TOPPERS project. All rights reserved."
+  LICENSE = "TOPPERS License"
+end

data/samples/FigureSamples/active/active.cde

@@ -0,0 +1,104 @@
+__tool_info__ ("tecsgen") {
+    "tecscde_version"     : "0.5.1.0",
+    "cde_format_version"  : "0.5.0.0",
+    "save_date"           : "2018-12-12T12:43:49+09:00",
+    "base_dir" : [
+        "/home/kenji/wc/saitama-univ/tecsgen-1.6.1/samples/FigureSamples/active",
+        "c:/cygwin64/home/oyama/TECS/tecsgen/samples/FigureSamples/active"
+    ],
+    "define_macro" : [
+
+    ],
+   "import_path" : [
+        ".",
+        "../../../test/cygwin"
+    ],
+    "direct_import" : [
+        "active.cdl"
+    ]
+}
+
+
+/*************************************************
+ *         TOOL INFORMATION FOR TECSCDE          *
+ *     This  information is used by tecscde      *
+ *  please don't touch if you are not familiar   *
+ ************************************************/
+__tool_info__ ("tecscde") {
+    "paper" : {
+       "type" : "paper",
+       "size" :  "A3",
+       "orientation" :  "LANDSCAPE"
+    },
+    "cell_list" : [
+        {       /** cell_list[ 0 ] **/
+            "type"     : "cell_location",
+            "name"     : "Cell1",
+            "location" : [ 121.0, 10.0, 25.0, 15.0 ],
+            "region"   : "::",
+            "port_location" : [
+                {
+                    "type"      : "port_location",
+                    "port_name" : "eBody",
+                    "edge"      : "EDGE_LEFT",
+                    "offset"    : 4.0
+                }
+            ]
+        },
+        {       /** cell_list[ 1 ] **/
+            "type"     : "cell_location",
+            "name"     : "Task",
+            "location" : [ 61.0, 10.0, 25.0, 15.0 ],
+            "region"   : "::",
+            "port_location" : [
+                {
+                    "type"      : "port_location",
+                    "port_name" : "cBody",
+                    "edge"      : "EDGE_RIGHT",
+                    "offset"    : 4.0
+                },
+                {
+                    "type"      : "port_location",
+                    "port_name" : "cExceptionBody",
+                    "edge"      : "EDGE_RIGHT",
+                    "offset"    : 12.0
+                },
+                {
+                    "type"      : "port_location",
+                    "port_name" : "eTask",
+                    "edge"      : "EDGE_LEFT",
+                    "offset"    : 4.0
+                }
+            ]
+        }
+    ],
+    "join_list" : [
+        {       /** join_list[ 0 ] **/
+            "type"        : "join_location",
+            "call_cell"   : "Task",
+            "call_region" : "::",
+            "call_port"   : "cBody",
+            "entry_cell"  : "Cell1",
+            "entry_region": "::",
+            "entry_port"  : "eBody",
+            "bar_list"    : [
+                {
+                     "type"     : "HBar",
+                     "position" : 96.0
+                },                {
+                     "type"     : "VBar",
+                     "position" : 14.0
+                },                {
+                     "type"     : "HBar",
+                     "position" : 111.0
+                },                {
+                     "type"     : "VBar",
+                     "position" : 14.0
+                },                {
+                     "type"     : "HBar",
+                     "position" : 121.0
+                }
+            ]
+        }
+    ]
+}

data/samples/FigureSamples/active/active.cdl

@@ -0,0 +1,20 @@
+import( <cygwin_kernel.cdl> );
+
+signature sSignature {
+	ER  sayHello( [in]int32_t times );
+	ER  howAreYou( [out,string(len)]char_t *buf, [in]int32_t len );
+};
+
+celltype tCelltype1 {
+	entry sTaskBody eBody;
+};
+
+cell tCelltype1 Cell1 {
+};
+
+cell tTask Task {
+	cBody = Cell1.eBody;
+	priority = 11;
+	stackSize = 1024;
+	taskAttribute = C_EXP( "TA_ACT" );
+};

data/samples/FigureSamples/active/gen/tmp_C_src.c

@@ -0,0 +1,36 @@
+
+#ifndef TECS_NO_GCC_EXTENSION_SUPPORT
+
+/*
+ * these extension can be eliminated also by spefcifying option
+ * --no-gcc-extension-support for tecsgen.
+ */
+#ifdef __GNUC__
+
+#ifndef __attribute__
+#define __attribute__(x)
+#endif
+
+#ifndef __extension__
+#define __extension__
+#endif
+
+#ifndef __builtin_va_list
+#define __builtin_va_list va_list
+#endif
+
+#ifndef __asm__
+#define __asm__(x)
+#endif
+
+#ifndef restrict
+#define restrict
+#endif
+
+#endif /* ifdef __GNUC__ */
+#endif /* TECS_NO_GCC_EXTENSION_SUPPORT */
+
+/* va_list is not supported in C_parser.y.rb */
+typedef struct { int dummy; } va_list;
+
+#include "cygwin_tecs.h"

data/samples/FigureSamples/active/gen/tmp_cygwin_tecs.h

@@ -0,0 +1,1908 @@
+/*  1 "gen/tmp_C_src.c" */
+/*  1 "<built-in>" */
+/*  1 "<command-line>" */
+/*  1 "/usr/include/stdc-predef.h" 1 3 4 */
+/*  1 "<command-line>" 2 */
+/*  1 "gen/tmp_C_src.c" */
+/*  34 "gen/tmp_C_src.c" */
+typedef struct { int dummy; } va_list;
+
+/*  1 "../../../test/cygwin/cygwin_tecs.h" 1 */
+/*  13 "../../../test/cygwin/cygwin_tecs.h" */
+/*  1 "../../../test/cygwin/kernel.h" 1 */
+/*  67 "../../../test/cygwin/kernel.h" */
+/*  1 "../../../test/cygwin/t_stddef.h" 1 */
+/*  68 "../../../test/cygwin/t_stddef.h" */
+/*  1 "../../../test/cygwin/target_stddef.h" 1 */
+/*  1 "/usr/lib/gcc/x86_64-linux-gnu/8/include/stdint.h" 1 3 4 */
+/*  9 "/usr/lib/gcc/x86_64-linux-gnu/8/include/stdint.h" 3 4 */
+/*  1 "/usr/include/stdint.h" 1 3 4 */
+/*  26 "/usr/include/stdint.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/libc-header-start.h" 1 3 4 */
+/*  33 "/usr/include/x86_64-linux-gnu/bits/libc-header-start.h" 3 4 */
+/*  1 "/usr/include/features.h" 1 3 4 */
+/*  424 "/usr/include/features.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/sys/cdefs.h" 1 3 4 */
+/*  442 "/usr/include/x86_64-linux-gnu/sys/cdefs.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wordsize.h" 1 3 4 */
+/*  443 "/usr/include/x86_64-linux-gnu/sys/cdefs.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/long-double.h" 1 3 4 */
+/*  444 "/usr/include/x86_64-linux-gnu/sys/cdefs.h" 2 3 4 */
+/*  425 "/usr/include/features.h" 2 3 4 */
+/*  448 "/usr/include/features.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/gnu/stubs.h" 1 3 4 */
+/*  10 "/usr/include/x86_64-linux-gnu/gnu/stubs.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/gnu/stubs-64.h" 1 3 4 */
+/*  11 "/usr/include/x86_64-linux-gnu/gnu/stubs.h" 2 3 4 */
+/*  449 "/usr/include/features.h" 2 3 4 */
+/*  34 "/usr/include/x86_64-linux-gnu/bits/libc-header-start.h" 2 3 4 */
+/*  27 "/usr/include/stdint.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types.h" 1 3 4 */
+/*  27 "/usr/include/x86_64-linux-gnu/bits/types.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wordsize.h" 1 3 4 */
+/*  28 "/usr/include/x86_64-linux-gnu/bits/types.h" 2 3 4 */
+
+
+
+/*  30 "/usr/include/x86_64-linux-gnu/bits/types.h" 3 4 */
+typedef unsigned char __u_char;
+typedef unsigned short int __u_short;
+typedef unsigned int __u_int;
+typedef unsigned long int __u_long;
+
+
+typedef signed char __int8_t;
+typedef unsigned char __uint8_t;
+typedef signed short int __int16_t;
+typedef unsigned short int __uint16_t;
+typedef signed int __int32_t;
+typedef unsigned int __uint32_t;
+
+typedef signed long int __int64_t;
+typedef unsigned long int __uint64_t;
+
+
+
+
+
+
+typedef __int8_t __int_least8_t;
+typedef __uint8_t __uint_least8_t;
+typedef __int16_t __int_least16_t;
+typedef __uint16_t __uint_least16_t;
+typedef __int32_t __int_least32_t;
+typedef __uint32_t __uint_least32_t;
+typedef __int64_t __int_least64_t;
+typedef __uint64_t __uint_least64_t;
+
+
+
+typedef long int __quad_t;
+typedef unsigned long int __u_quad_t;
+
+
+
+
+
+
+
+typedef long int __intmax_t;
+typedef unsigned long int __uintmax_t;
+/*  140 "/usr/include/x86_64-linux-gnu/bits/types.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/typesizes.h" 1 3 4 */
+/*  141 "/usr/include/x86_64-linux-gnu/bits/types.h" 2 3 4 */
+
+
+typedef unsigned long int __dev_t;
+typedef unsigned int __uid_t;
+typedef unsigned int __gid_t;
+typedef unsigned long int __ino_t;
+typedef unsigned long int __ino64_t;
+typedef unsigned int __mode_t;
+typedef unsigned long int __nlink_t;
+typedef long int __off_t;
+typedef long int __off64_t;
+typedef int __pid_t;
+typedef struct { int __val[2]; } __fsid_t;
+typedef long int __clock_t;
+typedef unsigned long int __rlim_t;
+typedef unsigned long int __rlim64_t;
+typedef unsigned int __id_t;
+typedef long int __time_t;
+typedef unsigned int __useconds_t;
+typedef long int __suseconds_t;
+
+typedef int __daddr_t;
+typedef int __key_t;
+
+
+typedef int __clockid_t;
+
+
+typedef void * __timer_t;
+
+
+typedef long int __blksize_t;
+
+
+
+
+typedef long int __blkcnt_t;
+typedef long int __blkcnt64_t;
+
+
+typedef unsigned long int __fsblkcnt_t;
+typedef unsigned long int __fsblkcnt64_t;
+
+
+typedef unsigned long int __fsfilcnt_t;
+typedef unsigned long int __fsfilcnt64_t;
+
+
+typedef long int __fsword_t;
+
+typedef long int __ssize_t;
+
+
+typedef long int __syscall_slong_t;
+
+typedef unsigned long int __syscall_ulong_t;
+
+
+
+typedef __off64_t __loff_t;
+typedef char *__caddr_t;
+
+
+typedef long int __intptr_t;
+
+
+typedef unsigned int __socklen_t;
+
+
+
+
+typedef int __sig_atomic_t;
+/*  28 "/usr/include/stdint.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wchar.h" 1 3 4 */
+/*  29 "/usr/include/stdint.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wordsize.h" 1 3 4 */
+/*  30 "/usr/include/stdint.h" 2 3 4 */
+
+
+
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/stdint-intn.h" 1 3 4 */
+/*  24 "/usr/include/x86_64-linux-gnu/bits/stdint-intn.h" 3 4 */
+typedef __int8_t int8_t;
+typedef __int16_t int16_t;
+typedef __int32_t int32_t;
+typedef __int64_t int64_t;
+/*  35 "/usr/include/stdint.h" 2 3 4 */
+
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h" 1 3 4 */
+/*  24 "/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h" 3 4 */
+typedef __uint8_t uint8_t;
+typedef __uint16_t uint16_t;
+typedef __uint32_t uint32_t;
+typedef __uint64_t uint64_t;
+/*  38 "/usr/include/stdint.h" 2 3 4 */
+
+
+
+
+
+typedef __int_least8_t int_least8_t;
+typedef __int_least16_t int_least16_t;
+typedef __int_least32_t int_least32_t;
+typedef __int_least64_t int_least64_t;
+
+
+typedef __uint_least8_t uint_least8_t;
+typedef __uint_least16_t uint_least16_t;
+typedef __uint_least32_t uint_least32_t;
+typedef __uint_least64_t uint_least64_t;
+
+
+
+
+
+typedef signed char int_fast8_t;
+
+typedef long int int_fast16_t;
+typedef long int int_fast32_t;
+typedef long int int_fast64_t;
+/*  71 "/usr/include/stdint.h" 3 4 */
+typedef unsigned char uint_fast8_t;
+
+typedef unsigned long int uint_fast16_t;
+typedef unsigned long int uint_fast32_t;
+typedef unsigned long int uint_fast64_t;
+/*  87 "/usr/include/stdint.h" 3 4 */
+typedef long int intptr_t;
+
+
+typedef unsigned long int uintptr_t;
+/*  101 "/usr/include/stdint.h" 3 4 */
+typedef __intmax_t intmax_t;
+typedef __uintmax_t uintmax_t;
+/*  10 "/usr/lib/gcc/x86_64-linux-gnu/8/include/stdint.h" 2 3 4 */
+/*  2 "../../../test/cygwin/target_stddef.h" 2 */
+
+
+/*  3 "../../../test/cygwin/target_stddef.h" */
+typedef float float32_t;
+typedef double double64_t;
+/*  69 "../../../test/cygwin/t_stddef.h" 2 */
+/*  91 "../../../test/cygwin/t_stddef.h" */
+struct TOPPERS_dummy_t { int TOPPERS_dummy_field; };
+typedef void (*TOPPERS_fp_t)(struct TOPPERS_dummy_t);
+
+
+
+
+
+
+typedef int bool_t;
+
+
+typedef signed int int_t;
+typedef unsigned int uint_t;
+
+typedef signed long long_t;
+typedef unsigned long ulong_t;
+
+typedef int_t FN;
+typedef int_t ER;
+
+typedef int_t ID;
+
+typedef uint_t ATR;
+typedef uint_t STAT;
+typedef uint_t MODE;
+typedef int_t PRI;
+typedef uintptr_t SIZE;
+
+typedef int_t TMO;
+typedef uint_t RELTIM;
+typedef ulong_t SYSTIM;
+typedef ulong_t SYSUTM;
+
+typedef TOPPERS_fp_t FP;
+
+typedef int_t ER_BOOL;
+typedef int_t ER_ID;
+typedef int_t ER_UINT;
+
+typedef uint32_t ACPTN;
+typedef struct acvct {
+ ACPTN acptn1;
+ ACPTN acptn2;
+ ACPTN acptn3;
+ ACPTN acptn4;
+} ACVCT;
+/*  68 "../../../test/cygwin/kernel.h" 2 */
+
+
+
+
+/*  1 "../../../test/cygwin/target_kernel.h" 1 */
+/*  73 "../../../test/cygwin/kernel.h" 2 */
+/*  83 "../../../test/cygwin/kernel.h" */
+typedef uint_t TEXPTN;
+typedef uint_t FLGPTN;
+typedef uint_t INTNO;
+typedef uint_t INHNO;
+typedef uint_t EXCNO;
+
+
+
+
+typedef void (*TASK)(intptr_t exinf);
+typedef void (*TEXRTN)(TEXPTN texptn, intptr_t exinf);
+typedef void (*CYCHDR)(intptr_t exinf);
+typedef void (*ALMHDR)(intptr_t exinf);
+typedef void (*ISR)(intptr_t exinf);
+typedef void (*INTHDR)(void);
+typedef void (*EXCHDR)(void *p_excinf);
+typedef void (*INIRTN)(intptr_t exinf);
+typedef void (*TERRTN)(intptr_t exinf);
+
+
+
+
+
+
+
+typedef intptr_t STK_T;
+
+
+
+
+typedef intptr_t MPF_T;
+
+
+
+
+typedef struct t_msg {
+ struct t_msg *pk_next;
+} T_MSG;
+
+typedef struct t_msg_pri {
+ T_MSG msgque;
+ PRI msgpri;
+} T_MSG_PRI;
+
+
+
+
+typedef struct t_rtsk {
+ STAT tskstat;
+ PRI tskpri;
+ PRI tskbpri;
+ STAT tskwait;
+ ID wobjid;
+ TMO lefttmo;
+ uint_t actcnt;
+ uint_t wupcnt;
+} T_RTSK;
+
+typedef struct t_rtex {
+ STAT texstat;
+ TEXPTN pndptn;
+} T_RTEX;
+
+typedef struct t_rsem {
+ ID wtskid;
+ uint_t semcnt;
+} T_RSEM;
+
+typedef struct t_rflg {
+ ID wtskid;
+ FLGPTN flgptn;
+} T_RFLG;
+
+typedef struct t_rdtq {
+ ID stskid;
+ ID rtskid;
+ uint_t sdtqcnt;
+} T_RDTQ;
+
+typedef struct t_rpdq {
+ ID stskid;
+
+ ID rtskid;
+
+ uint_t spdqcnt;
+
+} T_RPDQ;
+
+typedef struct t_rmbx {
+ ID wtskid;
+ T_MSG *pk_msg;
+
+} T_RMBX;
+
+typedef struct t_rmpf {
+ ID wtskid;
+
+ uint_t fblkcnt;
+
+} T_RMPF;
+
+typedef struct t_rcyc {
+ STAT cycstat;
+ RELTIM lefttim;
+} T_RCYC;
+
+typedef struct t_ralm {
+ STAT almstat;
+ RELTIM lefttim;
+} T_RALM;
+/*  201 "../../../test/cygwin/kernel.h" */
+extern ER act_tsk(ID tskid) ;
+extern ER iact_tsk(ID tskid) ;
+extern ER_UINT can_act(ID tskid) ;
+extern ER ext_tsk(void) ;
+extern ER ter_tsk(ID tskid) ;
+extern ER chg_pri(ID tskid, PRI tskpri) ;
+extern ER get_pri(ID tskid, PRI *p_tskpri) ;
+extern ER get_inf(intptr_t *p_exinf) ;
+extern ER ref_tsk(ID tskid, T_RTSK *pk_rtsk) ;
+
+
+
+
+extern ER slp_tsk(void) ;
+extern ER tslp_tsk(TMO tmout) ;
+extern ER wup_tsk(ID tskid) ;
+extern ER iwup_tsk(ID tskid) ;
+extern ER_UINT can_wup(ID tskid) ;
+extern ER rel_wai(ID tskid) ;
+extern ER irel_wai(ID tskid) ;
+extern ER sus_tsk(ID tskid) ;
+extern ER rsm_tsk(ID tskid) ;
+extern ER dly_tsk(RELTIM dlytim) ;
+
+
+
+
+extern ER ras_tex(ID tskid, TEXPTN rasptn) ;
+extern ER iras_tex(ID tskid, TEXPTN rasptn) ;
+extern ER dis_tex(void) ;
+extern ER ena_tex(void) ;
+extern bool_t sns_tex(void) ;
+extern ER ref_tex(ID tskid, T_RTEX *pk_rtex) ;
+
+
+
+
+extern ER sig_sem(ID semid) ;
+extern ER isig_sem(ID semid) ;
+extern ER wai_sem(ID semid) ;
+extern ER pol_sem(ID semid) ;
+extern ER twai_sem(ID semid, TMO tmout) ;
+extern ER ini_sem(ID semid) ;
+extern ER ref_sem(ID semid, T_RSEM *pk_rsem) ;
+
+extern ER set_flg(ID flgid, FLGPTN setptn) ;
+extern ER iset_flg(ID flgid, FLGPTN setptn) ;
+extern ER clr_flg(ID flgid, FLGPTN clrptn) ;
+extern ER wai_flg(ID flgid, FLGPTN waiptn,
+      MODE wfmode, FLGPTN *p_flgptn) ;
+extern ER pol_flg(ID flgid, FLGPTN waiptn,
+      MODE wfmode, FLGPTN *p_flgptn) ;
+extern ER twai_flg(ID flgid, FLGPTN waiptn,
+      MODE wfmode, FLGPTN *p_flgptn, TMO tmout) ;
+extern ER ini_flg(ID flgid) ;
+extern ER ref_flg(ID flgid, T_RFLG *pk_rflg) ;
+
+extern ER snd_dtq(ID dtqid, intptr_t data) ;
+extern ER psnd_dtq(ID dtqid, intptr_t data) ;
+extern ER ipsnd_dtq(ID dtqid, intptr_t data) ;
+extern ER tsnd_dtq(ID dtqid, intptr_t data, TMO tmout) ;
+extern ER fsnd_dtq(ID dtqid, intptr_t data) ;
+extern ER ifsnd_dtq(ID dtqid, intptr_t data) ;
+extern ER rcv_dtq(ID dtqid, intptr_t *p_data) ;
+extern ER prcv_dtq(ID dtqid, intptr_t *p_data) ;
+extern ER trcv_dtq(ID dtqid, intptr_t *p_data, TMO tmout) ;
+extern ER ini_dtq(ID dtqid) ;
+extern ER ref_dtq(ID dtqid, T_RDTQ *pk_rdtq) ;
+
+extern ER snd_pdq(ID pdqid, intptr_t data, PRI datapri) ;
+extern ER psnd_pdq(ID pdqid, intptr_t data, PRI datapri) ;
+extern ER ipsnd_pdq(ID pdqid, intptr_t data, PRI datapri) ;
+extern ER tsnd_pdq(ID pdqid, intptr_t data,
+          PRI datapri, TMO tmout) ;
+extern ER rcv_pdq(ID pdqid, intptr_t *p_data, PRI *p_datapri) ;
+extern ER prcv_pdq(ID pdqid, intptr_t *p_data, PRI *p_datapri) ;
+extern ER trcv_pdq(ID pdqid, intptr_t *p_data,
+          PRI *p_datapri, TMO tmout) ;
+extern ER ini_pdq(ID pdqid) ;
+extern ER ref_pdq(ID pdqid, T_RPDQ *pk_rpdq) ;
+
+extern ER snd_mbx(ID mbxid, T_MSG *pk_msg) ;
+extern ER rcv_mbx(ID mbxid, T_MSG **ppk_msg) ;
+extern ER prcv_mbx(ID mbxid, T_MSG **ppk_msg) ;
+extern ER trcv_mbx(ID mbxid, T_MSG **ppk_msg, TMO tmout) ;
+extern ER ini_mbx(ID mbxid) ;
+extern ER ref_mbx(ID mbxid, T_RMBX *pk_rmbx) ;
+
+
+
+
+extern ER get_mpf(ID mpfid, void **p_blk) ;
+extern ER pget_mpf(ID mpfid, void **p_blk) ;
+extern ER tget_mpf(ID mpfid, void **p_blk, TMO tmout) ;
+extern ER rel_mpf(ID mpfid, void *blk) ;
+extern ER ini_mpf(ID mpfid) ;
+extern ER ref_mpf(ID mpfid, T_RMPF *pk_rmpf) ;
+
+
+
+
+extern ER get_tim(SYSTIM *p_systim) ;
+extern ER get_utm(SYSUTM *p_sysutm) ;
+
+extern ER sta_cyc(ID cycid) ;
+extern ER stp_cyc(ID cycid) ;
+extern ER ref_cyc(ID cycid, T_RCYC *pk_rcyc) ;
+
+extern ER sta_alm(ID almid, RELTIM almtim) ;
+extern ER ista_alm(ID almid, RELTIM almtim) ;
+extern ER stp_alm(ID almid) ;
+extern ER istp_alm(ID almid) ;
+extern ER ref_alm(ID almid, T_RALM *pk_ralm) ;
+
+
+
+
+extern ER rot_rdq(PRI tskpri) ;
+extern ER irot_rdq(PRI tskpri) ;
+extern ER get_tid(ID *p_tskid) ;
+extern ER iget_tid(ID *p_tskid) ;
+extern ER loc_cpu(void) ;
+extern ER iloc_cpu(void) ;
+extern ER unl_cpu(void) ;
+extern ER iunl_cpu(void) ;
+extern ER dis_dsp(void) ;
+extern ER ena_dsp(void) ;
+extern bool_t sns_ctx(void) ;
+extern bool_t sns_loc(void) ;
+extern bool_t sns_dsp(void) ;
+extern bool_t sns_dpn(void) ;
+extern bool_t sns_ker(void) ;
+extern ER ext_ker(void) ;
+
+
+
+
+extern ER dis_int(INTNO intno) ;
+extern ER ena_int(INTNO intno) ;
+extern ER chg_ipm(PRI intpri) ;
+extern ER get_ipm(PRI *p_intpri) ;
+
+
+
+
+extern bool_t xsns_dpn(void *p_excinf) ;
+extern bool_t xsns_xpn(void *p_excinf) ;
+/*  14 "../../../test/cygwin/cygwin_tecs.h" 2 */
+/*  1 "/home/kenji/wc/saitama-univ/tecsgen-1.6.1/tecsgen/tecs/tecs.h" 1 */
+/*  46 "/home/kenji/wc/saitama-univ/tecsgen-1.6.1/tecsgen/tecs/tecs.h" */
+typedef struct tag_int128_t { int64_t hi; int64_t lo; } int128_t;
+typedef struct tag_uint128_t { int64_t hi; int64_t lo; } uint128_t;
+
+
+
+
+typedef short short_t;
+typedef unsigned short ushort_t;
+
+
+
+
+typedef char char_t;
+
+
+typedef signed char schar_t;
+typedef unsigned char uchar_t;
+/*  15 "../../../test/cygwin/cygwin_tecs.h" 2 */
+/*  1 "../../../test/cygwin/tecs_pthread_adaptor.h" 1 */
+/*  22 "../../../test/cygwin/tecs_pthread_adaptor.h" */
+/*  1 "/usr/include/pthread.h" 1 3 4 */
+/*  22 "/usr/include/pthread.h" 3 4 */
+/*  1 "/usr/include/endian.h" 1 3 4 */
+/*  36 "/usr/include/endian.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/endian.h" 1 3 4 */
+/*  37 "/usr/include/endian.h" 2 3 4 */
+/*  60 "/usr/include/endian.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/byteswap.h" 1 3 4 */
+/*  33 "/usr/include/x86_64-linux-gnu/bits/byteswap.h" 3 4 */
+
+/*  33 "/usr/include/x86_64-linux-gnu/bits/byteswap.h" 3 4 */
+static __inline __uint16_t
+__bswap_16 (__uint16_t __bsx)
+{
+
+  return __builtin_bswap16 (__bsx);
+
+
+
+}
+
+
+
+
+
+
+static __inline __uint32_t
+__bswap_32 (__uint32_t __bsx)
+{
+
+  return __builtin_bswap32 (__bsx);
+
+
+
+}
+/*  69 "/usr/include/x86_64-linux-gnu/bits/byteswap.h" 3 4 */
+ static __inline __uint64_t
+__bswap_64 (__uint64_t __bsx)
+{
+
+  return __builtin_bswap64 (__bsx);
+
+
+
+}
+/*  61 "/usr/include/endian.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/uintn-identity.h" 1 3 4 */
+/*  32 "/usr/include/x86_64-linux-gnu/bits/uintn-identity.h" 3 4 */
+static __inline __uint16_t
+__uint16_identity (__uint16_t __x)
+{
+  return __x;
+}
+
+static __inline __uint32_t
+__uint32_identity (__uint32_t __x)
+{
+  return __x;
+}
+
+static __inline __uint64_t
+__uint64_identity (__uint64_t __x)
+{
+  return __x;
+}
+/*  62 "/usr/include/endian.h" 2 3 4 */
+/*  23 "/usr/include/pthread.h" 2 3 4 */
+/*  1 "/usr/include/sched.h" 1 3 4 */
+/*  29 "/usr/include/sched.h" 3 4 */
+/*  1 "/usr/lib/gcc/x86_64-linux-gnu/8/include/stddef.h" 1 3 4 */
+/*  216 "/usr/lib/gcc/x86_64-linux-gnu/8/include/stddef.h" 3 4 */
+typedef long unsigned int size_t;
+/*  30 "/usr/include/sched.h" 2 3 4 */
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/time_t.h" 1 3 4 */
+
+
+
+
+
+
+typedef __time_t time_t;
+/*  32 "/usr/include/sched.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h" 1 3 4 */
+/*  9 "/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h" 3 4 */
+struct timespec
+{
+  __time_t tv_sec;
+  __syscall_slong_t tv_nsec;
+};
+/*  33 "/usr/include/sched.h" 2 3 4 */
+
+
+
+
+
+typedef __pid_t pid_t;
+
+
+
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/sched.h" 1 3 4 */
+/*  74 "/usr/include/x86_64-linux-gnu/bits/sched.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/struct_sched_param.h" 1 3 4 */
+/*  23 "/usr/include/x86_64-linux-gnu/bits/types/struct_sched_param.h" 3 4 */
+struct sched_param
+{
+  int sched_priority;
+};
+/*  75 "/usr/include/x86_64-linux-gnu/bits/sched.h" 2 3 4 */
+
+
+/*  93 "/usr/include/x86_64-linux-gnu/bits/sched.h" 3 4 */
+
+/*  44 "/usr/include/sched.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/cpu-set.h" 1 3 4 */
+/*  32 "/usr/include/x86_64-linux-gnu/bits/cpu-set.h" 3 4 */
+typedef unsigned long int __cpu_mask;
+
+
+
+
+
+
+typedef struct
+{
+  __cpu_mask __bits[1024 / (8 * sizeof (__cpu_mask))];
+} cpu_set_t;
+/*  115 "/usr/include/x86_64-linux-gnu/bits/cpu-set.h" 3 4 */
+
+
+extern int __sched_cpucount (size_t __setsize, const cpu_set_t *__setp)
+     ;
+extern cpu_set_t *__sched_cpualloc (size_t __count) ;
+extern void __sched_cpufree (cpu_set_t *__set) ;
+
+
+/*  45 "/usr/include/sched.h" 2 3 4 */
+
+
+
+
+
+
+
+
+
+extern int sched_setparam (__pid_t __pid, const struct sched_param *__param)
+     ;
+
+
+extern int sched_getparam (__pid_t __pid, struct sched_param *__param) ;
+
+
+extern int sched_setscheduler (__pid_t __pid, int __policy,
+          const struct sched_param *__param) ;
+
+
+extern int sched_getscheduler (__pid_t __pid) ;
+
+
+extern int sched_yield (void) ;
+
+
+extern int sched_get_priority_max (int __algorithm) ;
+
+
+extern int sched_get_priority_min (int __algorithm) ;
+
+
+extern int sched_rr_get_interval (__pid_t __pid, struct timespec *__t) ;
+/*  129 "/usr/include/sched.h" 3 4 */
+
+/*  24 "/usr/include/pthread.h" 2 3 4 */
+/*  1 "/usr/include/time.h" 1 3 4 */
+/*  29 "/usr/include/time.h" 3 4 */
+/*  1 "/usr/lib/gcc/x86_64-linux-gnu/8/include/stddef.h" 1 3 4 */
+/*  30 "/usr/include/time.h" 2 3 4 */
+
+
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/time.h" 1 3 4 */
+/*  34 "/usr/include/time.h" 2 3 4 */
+
+
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/clock_t.h" 1 3 4 */
+
+
+
+
+
+
+typedef __clock_t clock_t;
+/*  38 "/usr/include/time.h" 2 3 4 */
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/struct_tm.h" 1 3 4 */
+
+
+
+
+
+
+struct tm
+{
+  int tm_sec;
+  int tm_min;
+  int tm_hour;
+  int tm_mday;
+  int tm_mon;
+  int tm_year;
+  int tm_wday;
+  int tm_yday;
+  int tm_isdst;
+
+
+  long int tm_gmtoff;
+  const char *tm_zone;
+
+
+
+
+};
+/*  40 "/usr/include/time.h" 2 3 4 */
+
+
+
+
+
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h" 1 3 4 */
+
+
+
+
+
+
+typedef __clockid_t clockid_t;
+/*  47 "/usr/include/time.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/timer_t.h" 1 3 4 */
+
+
+
+
+
+
+typedef __timer_t timer_t;
+/*  48 "/usr/include/time.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h" 1 3 4 */
+
+
+
+
+
+
+
+struct itimerspec
+  {
+    struct timespec it_interval;
+    struct timespec it_value;
+  };
+/*  49 "/usr/include/time.h" 2 3 4 */
+struct sigevent;
+/*  60 "/usr/include/time.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/locale_t.h" 1 3 4 */
+/*  22 "/usr/include/x86_64-linux-gnu/bits/types/locale_t.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/types/__locale_t.h" 1 3 4 */
+/*  28 "/usr/include/x86_64-linux-gnu/bits/types/__locale_t.h" 3 4 */
+struct __locale_struct
+{
+
+  struct __locale_data *__locales[13];
+
+
+  const unsigned short int *__ctype_b;
+  const int *__ctype_tolower;
+  const int *__ctype_toupper;
+
+
+  const char *__names[13];
+};
+
+typedef struct __locale_struct *__locale_t;
+/*  23 "/usr/include/x86_64-linux-gnu/bits/types/locale_t.h" 2 3 4 */
+
+typedef __locale_t locale_t;
+/*  61 "/usr/include/time.h" 2 3 4 */
+
+
+
+
+
+
+
+
+
+
+
+extern clock_t clock (void) ;
+
+
+extern time_t time (time_t *__timer) ;
+
+
+extern double difftime (time_t __time1, time_t __time0)
+     ;
+
+
+extern time_t mktime (struct tm *__tp) ;
+
+
+
+
+
+extern size_t strftime (char *__restrict __s, size_t __maxsize,
+   const char *__restrict __format,
+   const struct tm *__restrict __tp) ;
+/*  104 "/usr/include/time.h" 3 4 */
+extern size_t strftime_l (char *__restrict __s, size_t __maxsize,
+     const char *__restrict __format,
+     const struct tm *__restrict __tp,
+     locale_t __loc) ;
+/*  119 "/usr/include/time.h" 3 4 */
+extern struct tm *gmtime (const time_t *__timer) ;
+
+
+
+extern struct tm *localtime (const time_t *__timer) ;
+
+
+
+
+extern struct tm *gmtime_r (const time_t *__restrict __timer,
+       struct tm *__restrict __tp) ;
+
+
+
+extern struct tm *localtime_r (const time_t *__restrict __timer,
+          struct tm *__restrict __tp) ;
+
+
+
+
+extern char *asctime (const struct tm *__tp) ;
+
+
+extern char *ctime (const time_t *__timer) ;
+
+
+
+
+
+
+extern char *asctime_r (const struct tm *__restrict __tp,
+   char *__restrict __buf) ;
+
+
+extern char *ctime_r (const time_t *__restrict __timer,
+        char *__restrict __buf) ;
+
+
+
+
+extern char *__tzname[2];
+extern int __daylight;
+extern long int __timezone;
+
+
+
+
+extern char *tzname[2];
+
+
+
+extern void tzset (void) ;
+
+
+
+extern int daylight;
+extern long int timezone;
+
+
+
+
+
+extern int stime (const time_t *__when) ;
+/*  196 "/usr/include/time.h" 3 4 */
+extern time_t timegm (struct tm *__tp) ;
+
+
+extern time_t timelocal (struct tm *__tp) ;
+
+
+extern int dysize (int __year) ;
+/*  211 "/usr/include/time.h" 3 4 */
+extern int nanosleep (const struct timespec *__requested_time,
+        struct timespec *__remaining);
+
+
+
+extern int clock_getres (clockid_t __clock_id, struct timespec *__res) ;
+
+
+extern int clock_gettime (clockid_t __clock_id, struct timespec *__tp) ;
+
+
+extern int clock_settime (clockid_t __clock_id, const struct timespec *__tp)
+     ;
+
+
+
+
+
+
+extern int clock_nanosleep (clockid_t __clock_id, int __flags,
+       const struct timespec *__req,
+       struct timespec *__rem);
+
+
+extern int clock_getcpuclockid (pid_t __pid, clockid_t *__clock_id) ;
+
+
+
+
+extern int timer_create (clockid_t __clock_id,
+    struct sigevent *__restrict __evp,
+    timer_t *__restrict __timerid) ;
+
+
+extern int timer_delete (timer_t __timerid) ;
+
+
+extern int timer_settime (timer_t __timerid, int __flags,
+     const struct itimerspec *__restrict __value,
+     struct itimerspec *__restrict __ovalue) ;
+
+
+extern int timer_gettime (timer_t __timerid, struct itimerspec *__value)
+     ;
+
+
+extern int timer_getoverrun (timer_t __timerid) ;
+
+
+
+
+
+extern int timespec_get (struct timespec *__ts, int __base)
+     ;
+/*  307 "/usr/include/time.h" 3 4 */
+
+/*  25 "/usr/include/pthread.h" 2 3 4 */
+
+/*  1 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h" 1 3 4 */
+/*  23 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h" 1 3 4 */
+/*  77 "/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h" 1 3 4 */
+/*  21 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wordsize.h" 1 3 4 */
+/*  22 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h" 2 3 4 */
+/*  65 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h" 3 4 */
+struct __pthread_rwlock_arch_t
+{
+  unsigned int __readers;
+  unsigned int __writers;
+  unsigned int __wrphase_futex;
+  unsigned int __writers_futex;
+  unsigned int __pad3;
+  unsigned int __pad4;
+
+  int __cur_writer;
+  int __shared;
+  signed char __rwelision;
+
+
+
+
+  unsigned char __pad1[7];
+
+
+  unsigned long int __pad2;
+
+
+  unsigned int __flags;
+/*  99 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h" 3 4 */
+};
+/*  78 "/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h" 2 3 4 */
+
+
+
+
+typedef struct __pthread_internal_list
+{
+  struct __pthread_internal_list *__prev;
+  struct __pthread_internal_list *__next;
+} __pthread_list_t;
+/*  118 "/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h" 3 4 */
+struct __pthread_mutex_s
+{
+  int __lock ;
+  unsigned int __count;
+  int __owner;
+
+  unsigned int __nusers;
+/*  148 "/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h" 3 4 */
+  int __kind;
+ 
+
+
+
+
+  short __spins; short __elision;
+  __pthread_list_t __list;
+/*  165 "/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h" 3 4 */
+ 
+};
+
+
+
+
+struct __pthread_cond_s
+{
+  union
+  {
+    unsigned long long int __wseq;
+    struct
+    {
+      unsigned int __low;
+      unsigned int __high;
+    } __wseq32;
+  };
+  union
+  {
+    unsigned long long int __g1_start;
+    struct
+    {
+      unsigned int __low;
+      unsigned int __high;
+    } __g1_start32;
+  };
+  unsigned int __g_refs[2] ;
+  unsigned int __g_size[2];
+  unsigned int __g1_orig_size;
+  unsigned int __wrefs;
+  unsigned int __g_signals[2];
+};
+/*  24 "/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h" 2 3 4 */
+
+
+
+typedef unsigned long int pthread_t;
+
+
+
+
+typedef union
+{
+  char __size[4];
+  int __align;
+} pthread_mutexattr_t;
+
+
+
+
+typedef union
+{
+  char __size[4];
+  int __align;
+} pthread_condattr_t;
+
+
+
+typedef unsigned int pthread_key_t;
+
+
+
+typedef int pthread_once_t;
+
+
+union pthread_attr_t
+{
+  char __size[56];
+  long int __align;
+};
+
+typedef union pthread_attr_t pthread_attr_t;
+
+
+
+
+typedef union
+{
+  struct __pthread_mutex_s __data;
+  char __size[40];
+  long int __align;
+} pthread_mutex_t;
+
+
+typedef union
+{
+  struct __pthread_cond_s __data;
+  char __size[48];
+  long long int __align;
+} pthread_cond_t;
+
+
+
+
+
+typedef union
+{
+  struct __pthread_rwlock_arch_t __data;
+  char __size[56];
+  long int __align;
+} pthread_rwlock_t;
+
+typedef union
+{
+  char __size[8];
+  long int __align;
+} pthread_rwlockattr_t;
+
+
+
+
+
+typedef volatile int pthread_spinlock_t;
+
+
+
+
+typedef union
+{
+  char __size[32];
+  long int __align;
+} pthread_barrier_t;
+
+typedef union
+{
+  char __size[4];
+  int __align;
+} pthread_barrierattr_t;
+/*  27 "/usr/include/pthread.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/setjmp.h" 1 3 4 */
+/*  26 "/usr/include/x86_64-linux-gnu/bits/setjmp.h" 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wordsize.h" 1 3 4 */
+/*  27 "/usr/include/x86_64-linux-gnu/bits/setjmp.h" 2 3 4 */
+
+
+
+
+typedef long int __jmp_buf[8];
+/*  28 "/usr/include/pthread.h" 2 3 4 */
+/*  1 "/usr/include/x86_64-linux-gnu/bits/wordsize.h" 1 3 4 */
+/*  29 "/usr/include/pthread.h" 2 3 4 */
+
+
+
+
+enum
+{
+  PTHREAD_CREATE_JOINABLE,
+
+  PTHREAD_CREATE_DETACHED
+
+};
+
+
+
+enum
+{
+  PTHREAD_MUTEX_TIMED_NP,
+  PTHREAD_MUTEX_RECURSIVE_NP,
+  PTHREAD_MUTEX_ERRORCHECK_NP,
+  PTHREAD_MUTEX_ADAPTIVE_NP
+
+  ,
+  PTHREAD_MUTEX_NORMAL = PTHREAD_MUTEX_TIMED_NP,
+  PTHREAD_MUTEX_RECURSIVE = PTHREAD_MUTEX_RECURSIVE_NP,
+  PTHREAD_MUTEX_ERRORCHECK = PTHREAD_MUTEX_ERRORCHECK_NP,
+  PTHREAD_MUTEX_DEFAULT = PTHREAD_MUTEX_NORMAL
+
+
+
+
+
+};
+
+
+
+
+enum
+{
+  PTHREAD_MUTEX_STALLED,
+  PTHREAD_MUTEX_STALLED_NP = PTHREAD_MUTEX_STALLED,
+  PTHREAD_MUTEX_ROBUST,
+  PTHREAD_MUTEX_ROBUST_NP = PTHREAD_MUTEX_ROBUST
+};
+
+
+
+
+
+enum
+{
+  PTHREAD_PRIO_NONE,
+  PTHREAD_PRIO_INHERIT,
+  PTHREAD_PRIO_PROTECT
+};
+/*  115 "/usr/include/pthread.h" 3 4 */
+enum
+{
+  PTHREAD_RWLOCK_PREFER_READER_NP,
+  PTHREAD_RWLOCK_PREFER_WRITER_NP,
+  PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP,
+  PTHREAD_RWLOCK_DEFAULT_NP = PTHREAD_RWLOCK_PREFER_READER_NP
+};
+/*  156 "/usr/include/pthread.h" 3 4 */
+enum
+{
+  PTHREAD_INHERIT_SCHED,
+
+  PTHREAD_EXPLICIT_SCHED
+
+};
+
+
+
+enum
+{
+  PTHREAD_SCOPE_SYSTEM,
+
+  PTHREAD_SCOPE_PROCESS
+
+};
+
+
+
+enum
+{
+  PTHREAD_PROCESS_PRIVATE,
+
+  PTHREAD_PROCESS_SHARED
+
+};
+/*  191 "/usr/include/pthread.h" 3 4 */
+struct _pthread_cleanup_buffer
+{
+  void (*__routine) (void *);
+  void *__arg;
+  int __canceltype;
+  struct _pthread_cleanup_buffer *__prev;
+};
+
+
+enum
+{
+  PTHREAD_CANCEL_ENABLE,
+
+  PTHREAD_CANCEL_DISABLE
+
+};
+enum
+{
+  PTHREAD_CANCEL_DEFERRED,
+
+  PTHREAD_CANCEL_ASYNCHRONOUS
+
+};
+/*  229 "/usr/include/pthread.h" 3 4 */
+
+
+
+
+
+extern int pthread_create (pthread_t *__restrict __newthread,
+      const pthread_attr_t *__restrict __attr,
+      void *(*__start_routine) (void *),
+      void *__restrict __arg) ;
+
+
+
+
+
+extern void pthread_exit (void *__retval) ;
+
+
+
+
+
+
+
+extern int pthread_join (pthread_t __th, void **__thread_return);
+/*  272 "/usr/include/pthread.h" 3 4 */
+extern int pthread_detach (pthread_t __th) ;
+
+
+
+extern pthread_t pthread_self (void) ;
+
+
+extern int pthread_equal (pthread_t __thread1, pthread_t __thread2)
+  ;
+
+
+
+
+
+
+
+extern int pthread_attr_init (pthread_attr_t *__attr) ;
+
+
+extern int pthread_attr_destroy (pthread_attr_t *__attr)
+     ;
+
+
+extern int pthread_attr_getdetachstate (const pthread_attr_t *__attr,
+     int *__detachstate)
+     ;
+
+
+extern int pthread_attr_setdetachstate (pthread_attr_t *__attr,
+     int __detachstate)
+     ;
+
+
+
+extern int pthread_attr_getguardsize (const pthread_attr_t *__attr,
+          size_t *__guardsize)
+     ;
+
+
+extern int pthread_attr_setguardsize (pthread_attr_t *__attr,
+          size_t __guardsize)
+     ;
+
+
+
+extern int pthread_attr_getschedparam (const pthread_attr_t *__restrict __attr,
+           struct sched_param *__restrict __param)
+     ;
+
+
+extern int pthread_attr_setschedparam (pthread_attr_t *__restrict __attr,
+           const struct sched_param *__restrict
+           __param) ;
+
+
+extern int pthread_attr_getschedpolicy (const pthread_attr_t *__restrict
+     __attr, int *__restrict __policy)
+     ;
+
+
+extern int pthread_attr_setschedpolicy (pthread_attr_t *__attr, int __policy)
+     ;
+
+
+extern int pthread_attr_getinheritsched (const pthread_attr_t *__restrict
+      __attr, int *__restrict __inherit)
+     ;
+
+
+extern int pthread_attr_setinheritsched (pthread_attr_t *__attr,
+      int __inherit)
+     ;
+
+
+
+extern int pthread_attr_getscope (const pthread_attr_t *__restrict __attr,
+      int *__restrict __scope)
+     ;
+
+
+extern int pthread_attr_setscope (pthread_attr_t *__attr, int __scope)
+     ;
+
+
+extern int pthread_attr_getstackaddr (const pthread_attr_t *__restrict
+          __attr, void **__restrict __stackaddr)
+     ;
+
+
+
+
+
+extern int pthread_attr_setstackaddr (pthread_attr_t *__attr,
+          void *__stackaddr)
+     ;
+
+
+extern int pthread_attr_getstacksize (const pthread_attr_t *__restrict
+          __attr, size_t *__restrict __stacksize)
+     ;
+
+
+
+
+extern int pthread_attr_setstacksize (pthread_attr_t *__attr,
+          size_t __stacksize)
+     ;
+
+
+
+extern int pthread_attr_getstack (const pthread_attr_t *__restrict __attr,
+      void **__restrict __stackaddr,
+      size_t *__restrict __stacksize)
+     ;
+
+
+
+
+extern int pthread_attr_setstack (pthread_attr_t *__attr, void *__stackaddr,
+      size_t __stacksize) ;
+/*  430 "/usr/include/pthread.h" 3 4 */
+extern int pthread_setschedparam (pthread_t __target_thread, int __policy,
+      const struct sched_param *__param)
+     ;
+
+
+extern int pthread_getschedparam (pthread_t __target_thread,
+      int *__restrict __policy,
+      struct sched_param *__restrict __param)
+     ;
+
+
+extern int pthread_setschedprio (pthread_t __target_thread, int __prio)
+     ;
+/*  495 "/usr/include/pthread.h" 3 4 */
+extern int pthread_once (pthread_once_t *__once_control,
+    void (*__init_routine) (void)) ;
+/*  507 "/usr/include/pthread.h" 3 4 */
+extern int pthread_setcancelstate (int __state, int *__oldstate);
+
+
+
+extern int pthread_setcanceltype (int __type, int *__oldtype);
+
+
+extern int pthread_cancel (pthread_t __th);
+
+
+
+
+extern void pthread_testcancel (void);
+
+
+
+
+typedef struct
+{
+  struct
+  {
+    __jmp_buf __cancel_jmp_buf;
+    int __mask_was_saved;
+  } __cancel_jmp_buf[1];
+  void *__pad[4];
+} __pthread_unwind_buf_t ;
+/*  541 "/usr/include/pthread.h" 3 4 */
+struct __pthread_cleanup_frame
+{
+  void (*__cancel_routine) (void *);
+  void *__cancel_arg;
+  int __do_it;
+  int __cancel_type;
+};
+/*  681 "/usr/include/pthread.h" 3 4 */
+extern void __pthread_register_cancel (__pthread_unwind_buf_t *__buf)
+     ;
+/*  693 "/usr/include/pthread.h" 3 4 */
+extern void __pthread_unregister_cancel (__pthread_unwind_buf_t *__buf)
+  ;
+/*  734 "/usr/include/pthread.h" 3 4 */
+extern void __pthread_unwind_next (__pthread_unwind_buf_t *__buf)
+    
+
+    
+
+     ;
+
+
+
+struct __jmp_buf_tag;
+extern int __sigsetjmp (struct __jmp_buf_tag *__env, int __savemask) ;
+
+
+
+
+
+extern int pthread_mutex_init (pthread_mutex_t *__mutex,
+          const pthread_mutexattr_t *__mutexattr)
+     ;
+
+
+extern int pthread_mutex_destroy (pthread_mutex_t *__mutex)
+     ;
+
+
+extern int pthread_mutex_trylock (pthread_mutex_t *__mutex)
+     ;
+
+
+extern int pthread_mutex_lock (pthread_mutex_t *__mutex)
+     ;
+
+
+
+extern int pthread_mutex_timedlock (pthread_mutex_t *__restrict __mutex,
+        const struct timespec *__restrict
+        __abstime) ;
+
+
+
+extern int pthread_mutex_unlock (pthread_mutex_t *__mutex)
+     ;
+
+
+
+extern int pthread_mutex_getprioceiling (const pthread_mutex_t *
+      __restrict __mutex,
+      int *__restrict __prioceiling)
+     ;
+
+
+
+extern int pthread_mutex_setprioceiling (pthread_mutex_t *__restrict __mutex,
+      int __prioceiling,
+      int *__restrict __old_ceiling)
+     ;
+
+
+
+
+extern int pthread_mutex_consistent (pthread_mutex_t *__mutex)
+     ;
+/*  807 "/usr/include/pthread.h" 3 4 */
+extern int pthread_mutexattr_init (pthread_mutexattr_t *__attr)
+     ;
+
+
+extern int pthread_mutexattr_destroy (pthread_mutexattr_t *__attr)
+     ;
+
+
+extern int pthread_mutexattr_getpshared (const pthread_mutexattr_t *
+      __restrict __attr,
+      int *__restrict __pshared)
+     ;
+
+
+extern int pthread_mutexattr_setpshared (pthread_mutexattr_t *__attr,
+      int __pshared)
+     ;
+
+
+
+extern int pthread_mutexattr_gettype (const pthread_mutexattr_t *__restrict
+          __attr, int *__restrict __kind)
+     ;
+
+
+
+
+extern int pthread_mutexattr_settype (pthread_mutexattr_t *__attr, int __kind)
+     ;
+
+
+
+extern int pthread_mutexattr_getprotocol (const pthread_mutexattr_t *
+       __restrict __attr,
+       int *__restrict __protocol)
+     ;
+
+
+
+extern int pthread_mutexattr_setprotocol (pthread_mutexattr_t *__attr,
+       int __protocol)
+     ;
+
+
+extern int pthread_mutexattr_getprioceiling (const pthread_mutexattr_t *
+          __restrict __attr,
+          int *__restrict __prioceiling)
+     ;
+
+
+extern int pthread_mutexattr_setprioceiling (pthread_mutexattr_t *__attr,
+          int __prioceiling)
+     ;
+
+
+
+extern int pthread_mutexattr_getrobust (const pthread_mutexattr_t *__attr,
+     int *__robustness)
+     ;
+
+
+
+
+
+
+
+extern int pthread_mutexattr_setrobust (pthread_mutexattr_t *__attr,
+     int __robustness)
+     ;
+/*  889 "/usr/include/pthread.h" 3 4 */
+extern int pthread_rwlock_init (pthread_rwlock_t *__restrict __rwlock,
+    const pthread_rwlockattr_t *__restrict
+    __attr) ;
+
+
+extern int pthread_rwlock_destroy (pthread_rwlock_t *__rwlock)
+     ;
+
+
+extern int pthread_rwlock_rdlock (pthread_rwlock_t *__rwlock)
+     ;
+
+
+extern int pthread_rwlock_tryrdlock (pthread_rwlock_t *__rwlock)
+  ;
+
+
+
+extern int pthread_rwlock_timedrdlock (pthread_rwlock_t *__restrict __rwlock,
+           const struct timespec *__restrict
+           __abstime) ;
+
+
+
+extern int pthread_rwlock_wrlock (pthread_rwlock_t *__rwlock)
+     ;
+
+
+extern int pthread_rwlock_trywrlock (pthread_rwlock_t *__rwlock)
+     ;
+
+
+
+extern int pthread_rwlock_timedwrlock (pthread_rwlock_t *__restrict __rwlock,
+           const struct timespec *__restrict
+           __abstime) ;
+
+
+
+extern int pthread_rwlock_unlock (pthread_rwlock_t *__rwlock)
+     ;
+
+
+
+
+
+extern int pthread_rwlockattr_init (pthread_rwlockattr_t *__attr)
+     ;
+
+
+extern int pthread_rwlockattr_destroy (pthread_rwlockattr_t *__attr)
+     ;
+
+
+extern int pthread_rwlockattr_getpshared (const pthread_rwlockattr_t *
+       __restrict __attr,
+       int *__restrict __pshared)
+     ;
+
+
+extern int pthread_rwlockattr_setpshared (pthread_rwlockattr_t *__attr,
+       int __pshared)
+     ;
+
+
+extern int pthread_rwlockattr_getkind_np (const pthread_rwlockattr_t *
+       __restrict __attr,
+       int *__restrict __pref)
+     ;
+
+
+extern int pthread_rwlockattr_setkind_np (pthread_rwlockattr_t *__attr,
+       int __pref) ;
+
+
+
+
+
+
+
+extern int pthread_cond_init (pthread_cond_t *__restrict __cond,
+         const pthread_condattr_t *__restrict __cond_attr)
+     ;
+
+
+extern int pthread_cond_destroy (pthread_cond_t *__cond)
+     ;
+
+
+extern int pthread_cond_signal (pthread_cond_t *__cond)
+     ;
+
+
+extern int pthread_cond_broadcast (pthread_cond_t *__cond)
+     ;
+
+
+
+
+
+
+extern int pthread_cond_wait (pthread_cond_t *__restrict __cond,
+         pthread_mutex_t *__restrict __mutex)
+     ;
+/*  1001 "/usr/include/pthread.h" 3 4 */
+extern int pthread_cond_timedwait (pthread_cond_t *__restrict __cond,
+       pthread_mutex_t *__restrict __mutex,
+       const struct timespec *__restrict __abstime)
+     ;
+
+
+
+
+extern int pthread_condattr_init (pthread_condattr_t *__attr)
+     ;
+
+
+extern int pthread_condattr_destroy (pthread_condattr_t *__attr)
+     ;
+
+
+extern int pthread_condattr_getpshared (const pthread_condattr_t *
+     __restrict __attr,
+     int *__restrict __pshared)
+     ;
+
+
+extern int pthread_condattr_setpshared (pthread_condattr_t *__attr,
+     int __pshared) ;
+
+
+
+extern int pthread_condattr_getclock (const pthread_condattr_t *
+          __restrict __attr,
+          __clockid_t *__restrict __clock_id)
+     ;
+
+
+extern int pthread_condattr_setclock (pthread_condattr_t *__attr,
+          __clockid_t __clock_id)
+     ;
+/*  1045 "/usr/include/pthread.h" 3 4 */
+extern int pthread_spin_init (pthread_spinlock_t *__lock, int __pshared)
+     ;
+
+
+extern int pthread_spin_destroy (pthread_spinlock_t *__lock)
+     ;
+
+
+extern int pthread_spin_lock (pthread_spinlock_t *__lock)
+     ;
+
+
+extern int pthread_spin_trylock (pthread_spinlock_t *__lock)
+     ;
+
+
+extern int pthread_spin_unlock (pthread_spinlock_t *__lock)
+     ;
+
+
+
+
+
+
+extern int pthread_barrier_init (pthread_barrier_t *__restrict __barrier,
+     const pthread_barrierattr_t *__restrict
+     __attr, unsigned int __count)
+     ;
+
+
+extern int pthread_barrier_destroy (pthread_barrier_t *__barrier)
+     ;
+
+
+extern int pthread_barrier_wait (pthread_barrier_t *__barrier)
+     ;
+
+
+
+extern int pthread_barrierattr_init (pthread_barrierattr_t *__attr)
+     ;
+
+
+extern int pthread_barrierattr_destroy (pthread_barrierattr_t *__attr)
+     ;
+
+
+extern int pthread_barrierattr_getpshared (const pthread_barrierattr_t *
+        __restrict __attr,
+        int *__restrict __pshared)
+     ;
+
+
+extern int pthread_barrierattr_setpshared (pthread_barrierattr_t *__attr,
+        int __pshared)
+     ;
+/*  1112 "/usr/include/pthread.h" 3 4 */
+extern int pthread_key_create (pthread_key_t *__key,
+          void (*__destr_function) (void *))
+     ;
+
+
+extern int pthread_key_delete (pthread_key_t __key) ;
+
+
+extern void *pthread_getspecific (pthread_key_t __key) ;
+
+
+extern int pthread_setspecific (pthread_key_t __key,
+    const void *__pointer) ;
+
+
+
+
+extern int pthread_getcpuclockid (pthread_t __thread_id,
+      __clockid_t *__clock_id)
+     ;
+/*  1146 "/usr/include/pthread.h" 3 4 */
+extern int pthread_atfork (void (*__prepare) (void),
+      void (*__parent) (void),
+      void (*__child) (void)) ;
+/*  1160 "/usr/include/pthread.h" 3 4 */
+
+/*  23 "../../../test/cygwin/tecs_pthread_adaptor.h" 2 */
+/*  16 "../../../test/cygwin/cygwin_tecs.h" 2 */
+/*  36 "gen/tmp_C_src.c" 2 */