let
end_of_request r rl = create (
`
End_of_request
(r, rl))