Introduce recv timeout controlled by '-T' option in http.c This should prevent a DDoS attack where attacker and keeps the connection open but send no data.

fun f (x : int * float) : string = x
fun g (x : int * float * bool) : string = x
fun h (x : {A : int, B : float, C : bool}) : string = x