} CLEANUP {
    } PROCESS(errctx) {
    } FINISH(errctx, true);
    (void)score;
    SUCCEED_RETURN(errctx);
}