let state = filter (fun _ e -> match e with State _ -> true | _ -> false)