let compile_set_statelist state_names fsm_name =
  let state_name_vars = List.map varify state_names in
    [ SynVarAssign
        (SynVarAssignment
           (SynStructOrEnumValue
              (SynVarName "ret",
               "states",
               ref VIdUnspecified),
            SynListValueProducer
              (SynListList state_name_vars))) ]