/*
 * This file only needs to generate a label declaration for _Pstop.
 *  The address is used for profiling purposes.
 */
DummyFcn(_Pstop)