let mk_pointer_format = "pointer_format"