Simplify pointer usage in HelloGUI example.