# Pastebin 2E6gp3GT
/* live: nothing */
int a = 0;
/* live: a */
int b = foo(a);
/* live: a, b */
printf("hi %d\n", a);
/* live: b */
return b;