namespace CCAnr {

void module_init();
int module_pick_var();
void module_flip_var(int var);
void module_reset();

int* module_cur_soln();
}