#include "context.sctx.h"
      
void set_specialization_context(int *x, int *y)
{
   *x = 3;
   *y = 7;
}