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