Pretty sure both do…while and switch statements are supported.
ROBOTC does not support libraries in quite the same way as traditional C, but you can include other source files and also set user specified locations for those files so several programs can use them.
Perhaps look at some existing ROBOTC programs, here’s an old one with some examples.
also, you will find some old student code in these repos.