let mk_is_null = "is_null"