#include <stdio.h> void addTo(int* restrict total, int* restrict num) { *total += *num; } int main() { int x = 10; int y = 5; addTo(&x, &y); printf("%d", x); return 0; }