x, y are tagged because the submodule statement of example_sssmod is
broken. Ctags makes garbage from garbage.
