definition module example_string1;

spaces_string :: !Int -> String;
// void spaces_string (int n_spaces,CleanString*);
hello_string_from_c :: String;
// void hello_string_from_c (CleanString*);
string_to_uppercase_with_side_effect :: !String -> Int;
// int string_to_uppercase_with_side_effect (CleanString);
