let rec note_arg_list lst index = match lst with
    (_,varname)::rest -> (NoteVar (varname,index))::(note_arg_list rest (index+1))
  | [] -> []