virtual void init(int hz_) { (void)hz_; // XXX set_stack_id(stack_id); nsc_init(); set_stack_id(-1); }
int nsc_load() { nsc_init(); return (0); }