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.

val x = 1 :: 2 :: []
val y = 3 :: 4 :: []

fun main () : transaction page = return <xml>
  {[ListPair.mp plus x y]}
</xml>