dvander@241: native PrintNum(num);
dvander@241: 
dvander@241: public main()
dvander@241: {
dvander@241:     const char:a[] = "what";
dvander@241:     const char:b[] = "k";
dvander@241:     a = b;
dvander@241:     PrintNum(a[0]);
dvander@241: }