let parse_implem ?directive_handler loc strm =
          !str_item_parser ?directive_handler loc strm