PUSH_CTX_STACK
PUSH_CTX_STACK(ctx, res, 0);
PUSH_CTX_STACK(ctx, res, 0);
PUSH_CTX_STACK(ctx, res, size);
PUSH_CTX_STACK(ctx, res, 0);
PUSH_CTX_STACK(ctx, res, 0);
PUSH_CTX_STACK(ctx, res, size * 2);
PUSH_CTX_STACK(ctx, res, 1);