let inter_a s1 s2 =
  let rec loop s1 s =
    match s1 with
        [] -> s
      | e::s1' ->
          if (List.mem e s2) then (loop s1' (e::s))
          else (loop s1' s)
  in
    loop s1 []