Hello World in Ratchett