// Internal functions
+void hfta_vstr_init(vstring * str);
gs_retval_t Vstring_Constructor(vstring *, gs_csp_t);
gs_retval_t hfta_vstr_length(vstring *);
void hfta_vstr_assign_with_copy_in_tuple(vstring32 *, const vstring *,
gs_retval_t int_to_string_map(vstring *result, gs_int64_t val, gs_param_handle_t handle);
gs_param_handle_t deregister_handle_for_int_to_string_map_slot_1(gs_param_handle_t handle);
+// --------------------------------------------------
+// to_hex_string, for printing a binary string
+gs_retval_t to_hex_string(vstring *result, vstring *val);
#endif