*hello.font:	*courier-bold*18*iso8859-1
*hello.label:	Hello, World!
!*hello.label:	\161Hola, Mundo!
