Links for typing-runtime