dvander@241: const char:text[] = "";
dvander@241: public main()
dvander@241: {
dvander@241:     text = "a";
dvander@241: }