hello world of core.typed