Symbol: to_lpc32xx_div