lindquist@58: module bug35;
lindquist@58: 
lindquist@58: private const char[10] digits    = "0123456789";            /// 0..9
lindquist@58: 
lindquist@58: void main()
lindquist@58: {
lindquist@58: }