let hlpsl_variable_to_global_var_id session_id hlpsl_var = (Globals.global_var_id#get_id_of session_id hlpsl_var#get_id)