Programming for XCORE Devices# xcore data types xcore port-to-pin mapping XCORE 32-bit application binary interface