let
mk_empty =
"empty"