Modified coq file with the addition of the value property to partial
application of fork as a value.