#include #include "global.h" s32 osAfterPreNMI(void) { return __osSpSetPc(0); }