Implement TCP with scxml compliant state machine

It would be extremely interesting to implement the TCP stack with an SCXML
state machine.

You could then compare its characteristics (performance, security,
correctness, flexibility) with a native C implementation and see where the
benefits lie.

I wonder if any OS grad students would be interested in that for a summer
of code project.

Chris

-- 
A foolish consistency is the hobgoblin of little minds - Emerson