Kiwamu Okabe

``` $ pwd /home/kiwamu/src/c2ats/example/satstree_gtk3 $ make --snip-- patscc -o test_prog main.dats -DATS_MEMALLOC_LIBC `pkg-config --cflags --libs gtk+-3.0` /home/kiwamu/src/c2ats/example/satstree_gtk3/out/usr/include/x86_64-linux-gnu/bits/sigaction.sats: 212(line=7, offs=16) -- 237(line=7, offs=41): error(2): the static identifier [type_c2ats___sighandler_t] is unrecognized. ```...

``` $ grep -r /signal.sats out out/usr/include/glib-2.0/glib/gbacktrace.sats:#include "out/usr/include/signal.sats" ```

Yes. It's a good idea!

わかりました。WSLgで設定できないか試してみます。 それまでこのissueは残しておいても良いでしょうか？

https://hackage.haskell.org/package/language-c-0.5.0/docs/Language-C-Syntax-AST.html#t:CStatement The language-c has define of statement in C.

Think about state machine to emulate `goto` statement.

``` c typedef union { struct __pthread_mutex_s { int __lock; unsigned int __count; int __owner; unsigned int __nusers; int __kind; short __spins; short __elision; __pthread_list_t __list; } __data; char __size[40];...

Following is better: ``` ats typedef struct_c2ats___pthread_mutex_s = $extype_struct"struct __pthread_mutex_s" of { __lock = int, __count = uint, __owner = int, __nusers = uint, __kind = int, __spins = sint,...