module type NATIVE_STRING = sig .. end
sig
end
include Sosa.BASIC_STRING
include Sosa.UNSAFELY_MUTABLE