Renamed identifier for hello world example