let getVariables_from_c () =
  (!variables_from_c)