c syntax: while and for