Mostly done. Listing two things missing

README.md

@@ -22,15 +22,5 @@
 Next steps
 ----------
 
-the verify() step, which should handle:
-
-* completing "...;" structs
-
-* checking the other structs, and the arguments to functions, using the real C compiler
-
-* simple "#define FOO value" macros
-
-* macros of the kind "#define funcname otherfuncname"
-
-* more complicated macros "#define foo(a, b, c) ..."
+the verify() step, which is missing:
 
@@ -36,7 +26,3 @@
 
-* checking and correcting the value of the enum {} declarations
-
-* probably also fixing the array lengths, e.g. declared as a field "int foo[...];"
-
-generating C extensions:
+* global variables
 
@@ -42,3 +28,3 @@
 
-* this is needed anyway to call macros
+* typedef ... some_integer_type;
 
@@ -44,6 +30,3 @@
 
-* faster, libffi-free way to call C code
-
-* partial blockers: callbacks (probably still use libffi)
 
 _ffi backend for PyPy