--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Paper/codes/wc/Wc.h	Tue May 04 22:46:05 2021 +0900
@@ -0,0 +1,9 @@
+typedef struct Wc <> {
+  // all arguments names in this interfaces here
+  union Data* wc;       // an implementation
+  WcResult* result;    
+  // codeGear entries of this interface
+  __code openFile(Impl* wc, __code next(...));
+  __code countUp(Impl* wc, __code next(WcResult* result, ...));
+  __code next(...);
+} Wc;