Requires stdint.h for cc3000 header