let
mk_null =
"null"