feasible, and SayHello() must simply call malloc() and see if it succeeded.
The CHECK-AFTER occurs in the conditional that compares str to NULL. The
HANDLE-AFTER is associated with the block containing the calls to ReportError() and
exit().