The text 10d1846001a7, as Debian 7 (Wheezy) shipped it.
Basic primitives needed for server push.
Eliom_comet.Channel.server(3o) on Linux now
