1 2#include "lib_restrict.h" 3 4int bar(int* restrict a, int* restrict b) 5{ 6 (void)a; 7 (void)b; 8 return foo(a, b); 9} 10 11int main(void) 12{ 13 return 0; 14} 15 16