Reduce size of hello world example