Symbol: rt_wdt_r32