Functorize random portion of TCP and hook in Unix instantiation