syntax, to-c: declarators with init.
to-c: while loop