let
of_native_string x = return (
String
.copy x)