Links for bluespec