#include "printpower.sctx.h"
void set_specialization_context(int *n)
{
  *n=10;
}