Links for hwl-stdlib