let
getVariables_from_c () =
(!variables_from_c)