(module Substring_intf)