#include // for user-defined resource sections void foo() { TermsecFunctionId id = termsec_begin_function(); // do something termsec_end_function( id ); }