let
default_raw_end =
fun
_
->
"end"