ocb_double
ocb_double(ctx->l + l_index, ctx->l + l_index + 1);
ocb_double(&ctx->l_star, &ctx->l_dollar);
ocb_double(&ctx->l_dollar, ctx->l);
ocb_double(ctx->l, ctx->l + 1);
ocb_double(ctx->l + 1, ctx->l + 2);
ocb_double(ctx->l + 2, ctx->l + 3);
ocb_double(ctx->l + 3, ctx->l + 4);