code: def strip_prefix(string, strip):
      
      import re
      strip_esc = re.escape(strip)
      if re.match(strip_esc, string):
          return string[len(strip):]
      else:
          return string
docs: Strips a prefix from a string, if the string starts with the prefix.
  
      :param string: String that should have its prefix removed
      :param strip: Prefix to be removed
      :return: string with the prefix removed if it has the prefix, or else it
          just returns the original string