let s_index = function
    | S_name -> 0
    | S_typedef -> 1
    | S_userdef -> 2
    | S_goals -> 3