Hello world!(from seki.gg)