cosmetics
generated files
added state transition for WANT_READ and WANT_WRITE