Improve array append performance. Actually use the appropriate runtime function, instead of just growing the array by one!

module bug35;

private const char[10] digits    = "0123456789";            /// 0..9

void main()
{
}