missing ; in c backend do-while