#include <stdio.h>

int restr(int * restrict a, int * restrict b) {
	int x = *b + 1;
	*a = 10;
	x = x + *b;
	return x;
}