Symbol: lpc32xx_start