Links for jstprove-test