add to_socaml