Pic32brd, a printed circuit board