let mk_null = "null"