Este sería el típico programa que escribe "Hello World" en Tink: