What is the C syntax for outputting a bit at a particular GPIO pin in the starter kit for F28335, how are the timers to be used, can "compare" be done to generate PWM. I dont see easy to use program examples to be able to write programs for motor control applications.