Links for autogen-tests