THUNK
ATF_REQUIRE_EQ(*(int *)thunk, THUNK);
int thunk = THUNK;
ATF_REQUIRE_EQ(*(int *)thunk, THUNK);
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;
ATF_REQUIRE_EQ(*(int *)thunk, THUNK);
int thunk = THUNK;
int thunk = THUNK;
int thunk = THUNK;