Definitions for ChipKIT Max32 With IO Board