ARRAY_APPEND:
  C++ version
  Append one entry to an array.

  A, as initialized:

         0:        0
         1:        1
         2:        2
         3:        3
         4:        4

  A, after appending

         0:        0
         1:        1
         2:        2
         3:        3
         4:        4
         5:       17

ARRAY_APPEND:
  Normal end of execution.