(module Sosa.Native_string)