sig
  type str_builtin_sig =
      Cvalue.Model.t -> Cvalue.V.t list -> Cvalue.V.t * bool
  val frama_c_strlen_wrapper : Builtins_string.str_builtin_sig
  val frama_c_wcslen_wrapper : Builtins_string.str_builtin_sig
  val frama_c_strchr_wrapper : Builtins_string.str_builtin_sig
  val frama_c_wcschr_wrapper : Builtins_string.str_builtin_sig
  val frama_c_memchr_off_wrapper : Builtins_string.str_builtin_sig
  val frama_c_wmemchr_off_wrapper : Builtins_string.str_builtin_sig
end