Symbol: pwmclock_start