#include "vcc.h" int sas09(int n) { int x = 0; int y = 0; while(x < n) { x = x + 1; } assert(x != -1); assert(y != -1); }