Links for wollok-kernel