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