Links for interpret-extension