gistfile1.txt

    /** Push an array formed by popping `n` values from the stack.

        This function pushes an @ref array value
        onto the stack. The array is formed by first
        popping the top `n` values from the stack.
        If the stack contains fewer than `n` values,
        or if any of the top `n` values on the stack
        is a key, the behavior is undefined.

        @param n The number of values to pop from the
        top of the stack to form the array.
    */
    void
    push_array(std::size_t n);