proc main do show {"Hello, world!"} return