Using the AWS IoT Device SDK for Embedded C