Links for hwl-stdlib-dp