examples/hello.ts