Can HolyC be used to write a network stack? Are there any plans to do this?