Links for while-patterns