Links for runtypecheck