Links for picat-kernel