SYNTAX
#include <array.h>void array_fail(array* x);
array x;
array_fail(&x);
DESCRIPTION
If x is allocated, array_fail frees the region that x points to, and switches x to have failed.If x is unallocated, array_fail simply switches x to have failed.
If x has already failed, array_fail has no effect.