let
aux_variables =
AuxVariables
.get