Type definitions for PIC device