Some console hello worlds