let aux_variables = AuxVariables.get