LOCAL
    accum : SET [0:?] OF Scalar_variable_armx := [];
  END_LOCAL;
  RETURN (local_vars_aux(thing, accum));