Hello, world from CTL!