let rec parse_local_declarators sclass basetype binds ~env = function
    [] -> binds
  | PinitDecl(decl,init) :: tl ->
      let id, ty, _ = decl_to_type ~env decl basetype in
      let nid = add_local_binding_to_env id sclass (Var ty) ~env in
      let ty, einit = 
        match init with
          None -> ty, None
        | Some i ->
            let ty, init = parse_initialization ~env i ty in
            ty, Some init
      in
      parse_local_declarators sclass basetype (binds @ [sclass, ty, nid, einit]) ~env tl