6.3.12 Finalization functions

The following function should be called towards the end of the generated code’s execution.

Function: void ncptl_finalize (void)

Shut down the coNCePTuaL run-time library. No run-time library functions should be invoked after ncptl_finalize() .

Function: void ncptl_fatal (char *format, …)

Output an error message and abort the program. ncptl_fatal() takes the same types of arguments as C’s printf() routine.